Searched refs:KOBJECT_PAGE_TABLE (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | kobject_t.h | 24 KOBJECT_PAGE_TABLE, enumerator in enum:_arm_kobject_type 54 case KOBJECT_PAGE_TABLE:
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
H A D | kobject_t.h | 24 KOBJECT_PAGE_TABLE, enumerator in enum:_riscv_kobject_type 56 case KOBJECT_PAGE_TABLE:
|
H A D | object.h | 20 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 25 KOBJECT_PAGE_TABLE, enumerator in enum:_x86_kobject_type 56 case KOBJECT_PAGE_TABLE:
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | kobject_t.h | 65 case KOBJECT_PAGE_TABLE:
|
H A D | object.h | 232 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
|
Completed in 46 milliseconds