Searched refs:PPTR_TOP (Results 1 - 12 of 12) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h27 * +-------------------+ PPTR_TOP
65 #define PPTR_TOP UL_CONST(0xffe00000) macro
66 #define KS_LOG_PPTR PPTR_TOP
68 #define PPTR_TOP UL_CONST(0xfff00000) macro
/seL4-refos-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h17 * 2^32 - 2^23 +-------------------+ PPTR_TOP / KERNEL_ELF_BASE
42 #define PPTR_TOP UL_CONST(0xFF400000) macro
44 #define KS_LOG_PPTR PPTR_TOP
46 #define PPTR_TOP UL_CONST(0xFF800000) macro
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h35 * +-----------------------------------+ <- PPTR_TOP: 256TiB mark (top of 48 bits)
84 * 2^64 - 2^30 +-------------------+ PPTR_TOP |
137 * 2^48 - 2^30 +-------------------+ PPTR_TOP |
183 #define PPTR_TOP UL_CONST(0x0000ffffc0000000) macro
185 #define PPTR_TOP UL_CONST(0xffffffffc0000000) macro
/seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h54 * | | | | | | PPTR_TOP - PPTR_BASE
89 #define PPTR_TOP UL_CONST(0xFFFFFFFF80000000) macro
98 #define KERNEL_ELF_BASE (PPTR_TOP + (KERNEL_ELF_PADDR_BASE & MASK(30)))
/seL4-refos-master/kernel/include/
H A Dhardware.h19 * - PPTR_TOP: The first virtual address after the end of the kernel's
37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET)
/seL4-refos-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h48 * 2^64 - 2^29 +-------------------+ PPTR_TOP / KERNEL_ELF_BASE
87 #define PPTR_TOP UL_CONST(0xffffffff80000000) macro
93 #define KERNEL_ELF_BASE (PPTR_TOP + KERNEL_ELF_PADDR_BASE)
/seL4-refos-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h20 * +-------------------+ PPTR_TOP
74 #define PPTR_TOP KS_LOG_PPTR macro
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c646 if (reg.end > PPTR_TOP) {
647 reg.end = PPTR_TOP;
694 p = PPTR_TOP;
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c117 while (pptr < PPTR_TOP) {
127 assert(pptr == PPTR_TOP);
148 while (pptr < PPTR_TOP + RISCV_GET_LVL_PGSIZE(0)) {
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c220 /* PPTR_TOP differs whether CONFIG_KERNEL_LOG_BUFFER
223 while (idx < (PPTR_TOP >> LARGE_PAGE_BITS)) {
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c211 assert(vaddr >= PPTR_TOP);
247 assert(GET_PUD_INDEX(PPTR_TOP) == BIT(PUD_INDEX_BITS) - 1);
248 assert(IS_ALIGNED(PPTR_TOP, seL4_HugePageBits));
255 for (idx = GET_PUD_INDEX(PPTR_BASE); idx < GET_PUD_INDEX(PPTR_TOP); idx++) {
281 armKSGlobalKernelPUD[GET_PUD_INDEX(PPTR_TOP)] = pude_pude_pd_new(
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c159 assert(vaddr >= PPTR_TOP); /* vaddr lies in the region the global PT covers */
233 while (idx < (PPTR_TOP >> pageBitsForSize(ARMSection))) {

Completed in 48 milliseconds