Searched refs:PADDR_BASE (Results 1 – 12 of 12) sorted by relevance
57 #define PADDR_BASE physBase macro72 #define KERNEL_ELF_PADDR_BASE PADDR_BASE
33 #define PPTR_BASE_OFFSET (PPTR_BASE - PADDR_BASE)
48 #define PADDR_BASE UL_CONST(0x00000000) macro
72 #define PADDR_BASE UL_CONST(0x00000000) macro
171 #define PADDR_BASE UL_CONST(0x0) macro
82 #define PADDR_BASE UL_CONST(0x0) macro
34 #define PADDR_BASE physBase macro
87 … (i << seL4_LargePageBits) + PADDR_BASE, /* physical address */ in init_boot_pd()
217 phys = PADDR_BASE; in map_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()
116 word_t paddr = PADDR_BASE; in map_kernel_window()
78 PADDR_BASE, in map_kernel_window()
Completed in 18 milliseconds