Searched defs:untyped (Results 1 – 5 of 5) sorted by relevance

/seL4-master/libsel4/include/sel4/
A D	bootinfo_types.h	71 seL4_SlotRegion untyped; /* untyped-object caps (untyped caps) */ member
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	1267 cap_t untyped; in decodeX86MMUInvocation() local
/seL4-master/src/arch/riscv/kernel/
A D	vspace.c	942 cap_t untyped; in decodeRISCVMMUInvocation() local
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	2516 cap_t untyped, root; local
/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	2293 cap_t untyped, root; in decodeARMMMUInvocation() local

Completed in 21 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023