Home
last modified time | relevance | path

Searched refs:PADDR_BASE (Results 1 – 12 of 12) sorted by relevance

/seL4-master/include/arch/arm/arch/32/mode/
A Dhardware.h57 #define PADDR_BASE physBase macro
72 #define KERNEL_ELF_PADDR_BASE PADDR_BASE
/seL4-master/include/
A Dhardware.h33 #define PPTR_BASE_OFFSET (PPTR_BASE - PADDR_BASE)
/seL4-master/include/plat/pc99/plat/32/plat_mode/machine/
A Dhardware.h48 #define PADDR_BASE UL_CONST(0x00000000) macro
/seL4-master/include/plat/pc99/plat/64/plat_mode/machine/
A Dhardware.h72 #define PADDR_BASE UL_CONST(0x00000000) macro
/seL4-master/include/arch/arm/arch/64/mode/
A Dhardware.h171 #define PADDR_BASE UL_CONST(0x0) macro
/seL4-master/include/arch/riscv/arch/64/mode/
A Dhardware.h82 #define PADDR_BASE UL_CONST(0x0) macro
/seL4-master/include/arch/riscv/arch/32/mode/
A Dhardware.h34 #define PADDR_BASE physBase macro
/seL4-master/src/arch/x86/32/kernel/
A Dvspace_32paging.c87 … (i << seL4_LargePageBits) + PADDR_BASE, /* physical address */ in init_boot_pd()
A Dvspace.c217 phys = PADDR_BASE; in map_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/riscv/kernel/
A Dvspace.c116 word_t paddr = PADDR_BASE; in map_kernel_window()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c78 PADDR_BASE, in map_kernel_window()

Completed in 18 milliseconds