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 Dhardware.h60 #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 Dhardware.h16 #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 Dkobject_t.h39 case seL4_LargePageBits:
61 case seL4_LargePageBits:
H A Dobject.h50 return seL4_LargePageBits;
/seL4-refos-master/libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h40 case seL4_LargePageBits:
62 case seL4_LargePageBits:
H A Dobject.h31 return seL4_LargePageBits;
/seL4-refos-master/libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h41 case seL4_LargePageBits:
62 case seL4_LargePageBits:
H A Dobject.h74 return seL4_LargePageBits;
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h39 case seL4_LargePageBits:
61 case seL4_LargePageBits:
H A Dobject.h50 return seL4_LargePageBits;
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h40 case seL4_LargePageBits:
62 case seL4_LargePageBits:
H A Dobject.h31 return seL4_LargePageBits;
/seL4-refos-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h41 case seL4_LargePageBits:
62 case seL4_LargePageBits:
H A Dobject.h74 return seL4_LargePageBits;
/seL4-refos-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h22 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 Dpage.h22 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 Dpage.h22 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 Dpage.h22 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 Dhardware.h37 ARMLargePageBits = seL4_LargePageBits,
/seL4-refos-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h50 #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 Dconstants.h50 #define seL4_LargePageBits 22 /* 4MB */ macro
60 #define seL4_4MBits seL4_LargePageBits
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c68 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 Dpage.h22 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 Dpage.h22 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 Dhardware.h104 #define KS_LOG_PPTR (KDEV_BASE + BIT(seL4_LargePageBits))

Completed in 122 milliseconds

12