| /seL4-refos-master/kernel/src/arch/x86/32/model/ |
| H A D | statedata.c | 15 pte_t ia32KSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
18 pte_t ia32KSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN(BIT(seL4_PageTableBits));
|
| /seL4-refos-master/kernel/src/arch/riscv/model/ |
| H A D | statedata.c | 21 pte_t kernel_root_pageTable[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
24 pte_t kernel_image_level2_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
25 pte_t kernel_image_level2_dev_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
27 pte_t kernel_image_level2_log_buffer_pt[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
|
| /seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | object.h | 20 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
41 return seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | object.h | 20 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_TABLE, 0), seL4_PageTableBits, result);
41 return seL4_PageTableBits;
|
| /seL4-refos-master/kernel/src/arch/arm/32/model/ |
| H A D | statedata.c | 35 pte_t armKSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
38 pte_t armKSGlobalLogPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
45 pdeS1_t armHSGlobalPD[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
47 pteS1_t armHSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
52 pte_t armUSGlobalPT[BIT(PT_INDEX_BITS)] ALIGN_BSS(BIT(seL4_PageTableBits));
|
| /seL4-refos-master/libs/libsel4vspace/src/arch/riscv/ |
| H A D | mapping.c | 25 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch32/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/libs/libsel4vspace/src/sel4_arch/arm_hyp/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/libs/libsel4vspace/src/sel4_arch/ia32/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/arch/riscv/ |
| H A D | mapping.c | 25 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch32/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/arm_hyp/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/ia32/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/libs/libsel4vspace/src/sel4_arch/aarch64/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/libs/libsel4vspace/src/sel4_arch/x86_64/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/aarch64/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/ |
| H A D | mapping.c | 22 obj->size_bits = seL4_PageTableBits;
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 33 #define seL4_PageTableBits 12 macro
53 SEL4_SIZE_SANITY(seL4_PageTableEntryBits, seL4_PageTableIndexBits, seL4_PageTableBits);
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | constants.h | 33 #define seL4_PageTableBits 12 macro
53 SEL4_SIZE_SANITY(seL4_PageTableEntryBits, seL4_PageTableIndexBits, seL4_PageTableBits);
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 41 #define seL4_PageTableBits 12 macro
42 #define seL4_VSpaceBits seL4_PageTableBits
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 39 #define seL4_PageTableBits 12 macro
40 #define seL4_VSpaceBits seL4_PageTableBits
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| H A D | constants.h | 41 #define seL4_PageTableBits 12 macro
42 #define seL4_VSpaceBits seL4_PageTableBits
|
| /seL4-refos-master/libs/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| H A D | constants.h | 39 #define seL4_PageTableBits 12 macro
40 #define seL4_VSpaceBits seL4_PageTableBits
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | constants.h | 197 #define seL4_PageTableBits 12 macro
206 #define seL4_PageTableBits 10 macro
234 SEL4_SIZE_SANITY(seL4_PageTableEntryBits, seL4_PageTableIndexBits, seL4_PageTableBits);
|
| /seL4-refos-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | constants.h | 197 #define seL4_PageTableBits 12 macro
206 #define seL4_PageTableBits 10 macro
234 SEL4_SIZE_SANITY(seL4_PageTableEntryBits, seL4_PageTableIndexBits, seL4_PageTableBits);
|