Searched refs:seL4_InvalidRoot (Results 1 – 2 of 2) sorted by relevance
| /seL4-master/libsel4/include/sel4/ | ||
| A D | constants.h | 67 seL4_InvalidRoot, enumerator |
| /seL4-master/src/api/ | ||
| A D | faults.c | 20 compile_assert(InvalidRoot, lookup_fault_invalid_root + 1 == seL4_InvalidRoot) |
Completed in 4 milliseconds