Searched refs:X86_MappingEPT (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A D	hardware.h	47 X86_MappingEPT enumerator
/seL4-master/src/arch/x86/32/object/
A D	objecttype.c	63 case X86_MappingEPT: in Mode_finaliseCap()
/seL4-master/src/arch/x86/64/object/
A D	objecttype.c	106 case X86_MappingEPT: in Mode_finaliseCap()
/seL4-master/src/arch/x86/kernel/
A D	ept.c	861 cap = cap_frame_cap_set_capFMapType(cap, X86_MappingEPT); in decodeX86EPTPageMap()
A D	vspace.c	844 case X86_MappingEPT: in performX86FrameInvocationUnmap()

Completed in 9 milliseconds

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