Symbol: VM_KERNEL_SPACE_SIZE
sys/arch/armv7/include/vmparam.h
65
#define VM_KERNEL_SPACE_SIZE 0x20000000
sys/uvm/uvm_param.h
87
#define VM_KERNEL_SPACE_SIZE (VM_MAX_KERNEL_ADDRESS - VM_MIN_KERNEL_ADDRESS)