Home
last modified time | relevance | path

Searched refs:PADDR_TOP (Results 1 – 9 of 9) sorted by relevance

/seL4-master/include/
A Dhardware.h37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET) macro
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c199 if (reg.end > PADDR_TOP && reg.start > PADDR_TOP) { in add_mem_p_regs()
208 if (reg.end > PADDR_TOP) { in add_mem_p_regs()
209 assert(reg.start <= PADDR_TOP); in add_mem_p_regs()
211 reg.end = PADDR_TOP; in add_mem_p_regs()
/seL4-master/src/arch/arm/kernel/
A Dboot.c69 if (ui_p_reg.start < PADDR_TOP) { in arch_init_freemem()
380 if (dtb_phys_end >= PADDR_TOP) { in try_init_kernel()
383 dtb_phys_addr, dtb_phys_end, PADDR_TOP); in try_init_kernel()
/seL4-master/src/arch/riscv/kernel/
A Dboot.c244 if (dtb_phys_end >= PADDR_TOP) { in try_init_kernel()
247 dtb_phys_addr, dtb_phys_end, PADDR_TOP); in try_init_kernel()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c92 for (paddr = 0; paddr < PADDR_TOP; in map_kernel_window()
161 for (pd_index = 0; pd_index < PADDR_TOP >> seL4_HugePageBits; pd_index++) { in map_kernel_window()
189 for (paddr = 0; paddr < PADDR_TOP; in map_kernel_window()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c243 assert(phys == PADDR_TOP); in map_kernel_window()
/seL4-master/src/kernel/
A Dboot.c711 if (pptr_to_paddr((void *)p) > PADDR_TOP) { in ceiling_kernel_window()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c268 for (paddr = PADDR_BASE; paddr < PADDR_TOP; paddr += BIT(seL4_LargePageBits)) { in map_kernel_window()
2248 if (pstart < PADDR_BASE || ((end - start) + pstart) > PADDR_TOP) { in decodeARMFrameInvocation()
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c254 assert(phys == PADDR_TOP); in map_kernel_window()
2468 if (pstart < physBase || ((end - start) + pstart) > PADDR_TOP) {

Completed in 40 milliseconds