Searched refs:KERNEL_ELF_PADDR_TOP (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/
H A Dhardware.h51 #define KERNEL_ELF_PADDR_TOP (KERNEL_ELF_TOP - KERNEL_ELF_BASE_OFFSET) macro
/seL4-camkes-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h127 assert(paddr < KERNEL_ELF_PADDR_TOP);
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dmachine.h255 assert(paddr < KERNEL_ELF_PADDR_TOP);

Completed in 36 milliseconds