Searched refs:seL4_X86_IOPageTableObject (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h19 seL4_X86_IOPageTableObject, enumerator in enum:_object
33 #define seL4_X86_IOPageTableObject 0xffffff macro
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dobject.h53 return vka_alloc_object(vka, seL4_X86_IOPageTableObject, seL4_IOPageTableBits, result);
93 case seL4_X86_IOPageTableObject:
H A Dkobject_t.h68 return seL4_X86_IOPageTableObject;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/
H A Dmapping.c31 obj->type = seL4_X86_IOPageTableObject;
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c178 case seL4_X86_IOPageTableObject:
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c297 case seL4_X86_IOPageTableObject:
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c440 case seL4_X86_IOPageTableObject:

Completed in 76 milliseconds