Symbol: VM_KERNEL_BASE
sys/arch/riscv/include/vmparam.h
178
#define VM_KERNEL_DTB_BASE (VM_KERNEL_BASE + VM_KERNEL_SIZE)
sys/arch/riscv/riscv/locore.S
72
#if VM_MIN_KERNEL_ADDRESS != VM_KERNEL_BASE