Searched refs:seL4_LargePageBits (Results 1 - 25 of 46) sorted by relevance
12
/seL4-refos-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/ |
H A D | hardware.h | 60 #define TLBBITMAP_PD_RESERVED (TLBBITMAP_ROOT_ENTRIES * BIT(seL4_LargePageBits)) 64 #define LOGBUFFER_PD_RESERVED BIT(seL4_LargePageBits)
|
/seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
H A D | hardware.h | 16 #define LARGE_PAGE_BITS seL4_LargePageBits 36 X64LargePageBits = seL4_LargePageBits, 61 return seL4_LargePageBits; 83 return seL4_LargePageBits;
|
/seL4-refos-master/libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | kobject_t.h | 39 case seL4_LargePageBits: 61 case seL4_LargePageBits:
|
H A D | object.h | 50 return seL4_LargePageBits;
|
/seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/ |
H A D | kobject_t.h | 40 case seL4_LargePageBits: 62 case seL4_LargePageBits:
|
H A D | object.h | 31 return seL4_LargePageBits;
|
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 41 case seL4_LargePageBits: 62 case seL4_LargePageBits:
|
H A D | object.h | 74 return seL4_LargePageBits;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
H A D | kobject_t.h | 39 case seL4_LargePageBits: 61 case seL4_LargePageBits:
|
H A D | object.h | 50 return seL4_LargePageBits;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
H A D | kobject_t.h | 40 case seL4_LargePageBits: 62 case seL4_LargePageBits:
|
H A D | object.h | 31 return seL4_LargePageBits;
|
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
H A D | kobject_t.h | 41 case seL4_LargePageBits: 62 case seL4_LargePageBits:
|
H A D | object.h | 74 return seL4_LargePageBits;
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 45 /* for size of a large page object use seL4_LargePageBits */
|
/seL4-refos-master/libs/libsel4vspace/arch_include/x86/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 45 /* for size of a large page object use seL4_LargePageBits */
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 46 /* for size of a large page object use seL4_LargePageBits */
|
/seL4-refos-master/libs/libsel4vspace/arch_include/riscv/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 46 /* for size of a large page object use seL4_LargePageBits */
|
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
H A D | hardware.h | 37 ARMLargePageBits = seL4_LargePageBits,
|
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | constants.h | 50 #define seL4_LargePageBits 22 /* 4MB */ macro 60 #define seL4_4MBits seL4_LargePageBits
|
/seL4-refos-master/libs/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | constants.h | 50 #define seL4_LargePageBits 22 /* 4MB */ macro 60 #define seL4_4MBits seL4_LargePageBits
|
/seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 68 for (i = 0; i < (PPTR_BASE >> seL4_LargePageBits); i++) { 70 i << seL4_LargePageBits, /* physical address */ 85 for (i = 0; i < ((-PPTR_BASE) >> seL4_LargePageBits); i++) { 86 *(_boot_pd + i + (PPTR_BASE >> seL4_LargePageBits)) = pde_pde_large_new_phys( 87 (i << seL4_LargePageBits) + PADDR_BASE, /* physical address */ 109 *(pd + (vptr >> seL4_LargePageBits)) = pde_pde_pt_new( 136 pd += (vptr >> seL4_LargePageBits); 138 *(pt + ((vptr & MASK(seL4_LargePageBits)) >> seL4_PageBits)) = pte_new( 192 for (i = PPTR_BASE >> seL4_LargePageBits; i < BIT(PD_INDEX_BITS); i++) { 331 offset = vaddr & MASK(seL4_LargePageBits); [all...] |
/seL4-refos-master/libs/libsel4vspace/arch_include/arm/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 49 /* for the size of a large page use seL4_LargePageBits */
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/ |
H A D | page.h | 22 seL4_LargePageBits, 49 /* for the size of a large page use seL4_LargePageBits */
|
/seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/ |
H A D | hardware.h | 104 #define KS_LOG_PPTR (KDEV_BASE + BIT(seL4_LargePageBits))
|
Completed in 122 milliseconds
12