Symbol: ARM_KERNEL_BASE
sys/arch/arm/include/vmparam.h
80
#define VM_MAXUSER_ADDRESS ((vaddr_t) ARM_KERNEL_BASE)
sys/arch/arm/include/vmparam.h
83
#define VM_MIN_KERNEL_ADDRESS ((vaddr_t) ARM_KERNEL_BASE)
sys/arch/armv7/include/vmparam.h
63
#define KERNEL_BASE ARM_KERNEL_BASE