Searched refs:KOBJECT_PDPT (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/
H A Dkobject_t.h22 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type
36 case KOBJECT_PDPT:
47 case KOBJECT_PDPT:
H A Dobject.h21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result);
/seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/
H A Dkobject_t.h23 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type
44 case KOBJECT_PDPT:
64 case KOBJECT_PDPT:
H A Dobject.h26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result);
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/
H A Dkobject_t.h22 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type
36 case KOBJECT_PDPT:
47 case KOBJECT_PDPT:
H A Dobject.h21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result);
/seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/
H A Dkobject_t.h23 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type
44 case KOBJECT_PDPT:
64 case KOBJECT_PDPT:
H A Dobject.h26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result);

Completed in 31 milliseconds