Searched refs:KERNEL_ELF_TOP (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/include/ | ||
H A D | hardware.h | 50 #define KERNEL_ELF_TOP ((paddr_t)(&ki_end)) macro 51 #define KERNEL_ELF_PADDR_TOP (KERNEL_ELF_TOP - KERNEL_ELF_BASE_OFFSET) |
Completed in 77 milliseconds