Searched defs:seL4_CapInitThreadVSpace (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | bootinfo_types.h | 19 seL4_CapInitThreadVSpace = 3, /* initial thread's VSpace cap */ enumerator in enum:__anon5 |
Completed in 25 milliseconds