Searched defs:domain (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/object/
A D	structures.h	31 dom_t domain; member
/seL4-master/src/object/
A D	tcb.c	1550 word_t domain; in decodeDomainInvocation() local
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	917 bool_t cacheable, bool_t nonexecutable, word_t domain, in makeUserPDE()

Completed in 11 milliseconds

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