Searched defs:KERNEL_ELF_BASE (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h75 #define KERNEL_ELF_BASE (USER_TOP + (KERNEL_ELF_PADDR_BASE & MASK(22))) macro
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h192 #define KERNEL_ELF_BASE (PPTR_BASE_OFFSET + KERNEL_ELF_PADDR_BASE) macro
/seL4-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h93 #define KERNEL_ELF_BASE (PPTR_TOP + KERNEL_ELF_PADDR_BASE) macro
/seL4-test-master/kernel/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h80 #define KERNEL_ELF_BASE (PPTR_BASE + KERNEL_ELF_PADDR_BASE) macro
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h98 #define KERNEL_ELF_BASE (PPTR_TOP + (KERNEL_ELF_PADDR_BASE & MASK(30))) macro
/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h57 #define KERNEL_ELF_BASE UL_CONST(0xFF800000) macro

Completed in 48 milliseconds