Searched refs:X86_MappingNone (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/src/arch/x86/64/object/ |
| A D | objecttype.c | 67 cap = cap_frame_cap_set_capFMapType(cap, X86_MappingNone); in Mode_deriveCap()
202 X86_MappingNone, /* capFMapType */ in Mode_createObject()
226 X86_MappingNone, /* capFMapType */ in Mode_createObject()
250 X86_MappingNone, /* capFMapType */ in Mode_createObject()
|
| /seL4-master/src/arch/x86/32/object/ |
| A D | objecttype.c | 41 cap = cap_frame_cap_set_capFMapType(cap, X86_MappingNone); in Mode_deriveCap()
141 X86_MappingNone, /* capFMapType */ in Mode_createObject()
153 X86_MappingNone, /* capFMapType */ in Mode_createObject()
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | hardware.h | 41 X86_MappingNone = 0, enumerator
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 492 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
|
| /seL4-master/src/arch/x86/object/ |
| A D | iospace.c | 494 ctSlot->cap = cap_frame_cap_set_capFMapType(ctSlot->cap, X86_MappingNone); in performX86IOUnMapInvocation()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 67 cap_frame_cap_ptr_set_capFMapType(&ctSlot->cap, X86_MappingNone); in performX86EPTPageInvocationUnmap()
819 assert(cap_frame_cap_get_capFMapType(cap) == X86_MappingNone); in decodeX86EPTPageMap()
|
| A D | vspace.c | 828 cap_frame_cap_ptr_set_capFMapType(&ctSlot->cap, X86_MappingNone); in performX86PageInvocationUnmap()
847 case X86_MappingNone: in performX86FrameInvocationUnmap()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 786 return create_it_frame_cap(pptr, 0, asidInvalid, use_large, X86_MappingNone); in create_unmapped_it_frame_cap()
|
Completed in 15 milliseconds