Home
last modified time | relevance | path

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

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

Completed in 15 milliseconds