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