Searched defs:seL4_SlotRegion (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | bootinfo_types.h | 45 typedef struct seL4_SlotRegion { struct 48 } seL4_SlotRegion; typedef in typeref:struct:seL4_SlotRegion [all...] |
Completed in 26 milliseconds