seL4/include/machine
Saer Debel 9dad7382e1 userError string written to IPC buffer
The format string in userError is now written to
the IPC buffer for debugging purposes.
This requires an snprintf which reuses vprintf with
a new structure for handling how output is done.

Signed-off-by: Saer Debel <saer.debel@data61.csiro.au>
2020-04-06 12:57:04 +10:00
..
assembler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
capdl.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
debug.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
fpu.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
interrupt.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
io.h userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
profiler.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
registerset.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
timer.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00