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

/seL4-master/include/arch/x86/arch/machine/
A D	hardware.h	44 X86_MappingIOSpace, enumerator
/seL4-master/src/arch/x86/32/object/
A D	objecttype.c	102 case X86_MappingIOSpace: in Mode_finaliseCap()
/seL4-master/src/arch/x86/64/object/
A D	objecttype.c	116 case X86_MappingIOSpace: in Mode_finaliseCap()
/seL4-master/src/arch/x86/object/
A D	iospace.c	389 cap = cap_frame_cap_set_capFMapType(cap, X86_MappingIOSpace); in decodeX86IOMapInvocation()
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	840 case X86_MappingIOSpace: in performX86FrameInvocationUnmap()

Completed in 11 milliseconds

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