seL4/include/api
Axel Heider 451dc90f99 print value for unknown entry reason
This is not supposed to happen, thus printing the value gives a bit more
insight what might have happened here.

Signed-off-by: Axel Heider <axelheider@gmx.de>
2022-03-16 16:00:42 +11:00
..
debug.h print value for unknown entry reason 2022-03-16 16:00:42 +11:00
failures.h trivial: remove whitespace 2021-12-27 10:15:37 +11:00
faults.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
syscall.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
types.h Add numDomains enumeration constant 2021-12-22 23:49:55 +11:00