Searched defs:untyped (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/include/api/
H A Dbootinfo_types.h70 seL4_SlotRegion untyped; /* untyped-object caps (untyped caps) */ member in struct:__anon4
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dbootinfo_types.h70 seL4_SlotRegion untyped; /* untyped-object caps (untyped caps) */ member in struct:__anon77
/seL4-mcs-10.1.1/src/arch/riscv/kernel/
H A Dvspace.c1008 cap_t untyped; local
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dvspace.c1406 cap_t untyped; local
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c2841 cap_t untyped, root; local
/seL4-mcs-10.1.1/src/arch/arm/64/kernel/
H A Dvspace.c2416 cap_t untyped, root; local

Completed in 46 milliseconds