Searched refs:KERNEL_ELF_BASE_OFFSET (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/
A D	hardware.h	43 #define KERNEL_ELF_BASE_OFFSET (KERNEL_ELF_BASE - KERNEL_ELF_PADDR_BASE) macro
A D	machine.h	35 return (paddr_t)pptr - KERNEL_ELF_BASE_OFFSET; in addrFromKPPtr()
/seL4-master/src/arch/x86/64/
A D	traps.S	88 movabs $x64KSKernelPML4 - KERNEL_ELF_BASE_OFFSET + (1 << 63), %reg; \ 92 lea x64KSKernelPML4 - KERNEL_ELF_BASE_OFFSET, %reg; \

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023