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 D | kobject_t.h | 22 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type 36 case KOBJECT_PDPT: 47 case KOBJECT_PDPT:
|
H A D | object.h | 21 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 D | kobject_t.h | 23 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type 44 case KOBJECT_PDPT: 64 case KOBJECT_PDPT:
|
H A D | object.h | 26 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 D | kobject_t.h | 22 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type 36 case KOBJECT_PDPT: 47 case KOBJECT_PDPT:
|
H A D | object.h | 21 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 D | kobject_t.h | 23 KOBJECT_PDPT, enumerator in enum:_x86_mode_kobject_type 44 case KOBJECT_PDPT: 64 case KOBJECT_PDPT:
|
H A D | object.h | 26 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PDPT, 0), seL4_PDPTBits, result);
|
Completed in 31 milliseconds