Symbol: VM_KERNEL_SIZE
sys/arch/riscv/include/vmparam.h
178
#define VM_KERNEL_DTB_BASE (VM_KERNEL_BASE + VM_KERNEL_SIZE)
sys/arch/riscv/include/vmparam.h
183
#define VM_KERNEL_RESERVED (VM_KERNEL_SIZE + VM_KERNEL_DTB_SIZE + VM_KERNEL_IO_SIZE)