Symbol: VM_KERNEL_VM_END
sys/arch/arm/include/arm32/vmparam.h
146
#define VM_KERNEL_ADDR_SIZE (VM_KERNEL_VM_END - KERNEL_BASE)
sys/arch/arm/include/arm32/vmparam.h
147
#define VM_KERNEL_VM_SIZE (VM_KERNEL_VM_END - VM_KERNEL_VM_BASE)