Symbol: KERNEL_BASE
sys/arch/arm64/include/vmparam.h
84
#define KERNEL_BASE 0xffffff8000000000ULL
sys/arch/armv7/include/vmparam.h
63
#define KERNEL_BASE ARM_KERNEL_BASE