Searched defs:seL4_CapInitThreadCNode (Results 1 - 1 of 1) sorted by path
/seL4-camkes-master/kernel/libsel4/include/sel4/ | ||
H A D | bootinfo_types.h | 18 seL4_CapInitThreadCNode = 2, /* initial thread's root CNode cap */ enumerator in enum:__anon5 |
Completed in 79 milliseconds