Searched refs:seL4_PML4Bits (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | object.h | 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PML4, 0), seL4_PML4Bits, result);
46 return seL4_PML4Bits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | object.h | 21 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PML4, 0), seL4_PML4Bits, result);
46 return seL4_PML4Bits;
|
| /seL4-refos-master/kernel/src/arch/x86/64/model/ |
| H A D | statedata.c | 10 pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)) VISIBLE;
20 pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 50 #define seL4_PML4Bits 12 macro
53 #define seL4_VSpaceBits seL4_PML4Bits
71 SEL4_SIZE_SANITY(seL4_PML4EntryBits, seL4_PML4IndexBits, seL4_PML4Bits);
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | constants.h | 50 #define seL4_PML4Bits 12 macro
53 #define seL4_VSpaceBits seL4_PML4Bits
71 SEL4_SIZE_SANITY(seL4_PML4EntryBits, seL4_PML4IndexBits, seL4_PML4Bits);
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/model/ |
| H A D | statedata.h | 24 extern pml4e_t x64KSSKIMPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits));
|
| /seL4-refos-master/kernel/include/arch/x86/arch/64/mode/object/ |
| H A D | structures.h | 149 return seL4_PML4Bits;
|
| /seL4-refos-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 169 return seL4_PML4Bits;
|
Completed in 97 milliseconds