Searched defs:tcbFaultHandler (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/kernel/include/object/ | ||
| H A D | structures.h | 192 tcbFaultHandler = 3, enumerator in enum:tcb_cnode_index 285 cptr_t tcbFaultHandler; member in struct:tcb |
Completed in 84 milliseconds