Searched refs:PADDR_TOP (Results 1 – 9 of 9) sorted by relevance
37 #define PADDR_TOP (PPTR_TOP - PPTR_BASE_OFFSET) macro
199 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()
69 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()
244 if (dtb_phys_end >= PADDR_TOP) { in try_init_kernel()247 dtb_phys_addr, dtb_phys_end, PADDR_TOP); in try_init_kernel()
92 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()
243 assert(phys == PADDR_TOP); in map_kernel_window()
711 if (pptr_to_paddr((void *)p) > PADDR_TOP) { in ceiling_kernel_window()
268 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()
254 assert(phys == PADDR_TOP); in map_kernel_window()2468 if (pstart < physBase || ((end - start) + pstart) > PADDR_TOP) {
Completed in 30 milliseconds