Symbol: VM_KERNEL_IO_BASE
sys/arch/aarch64/include/vmparam.h
154
#define VM_KERNEL_IO_BASE 0xfffffffff0000000L
sys/arch/arm/include/arm32/vmparam.h
149
#define VM_KERNEL_IO_BASE 0xf0000000
sys/arch/riscv/include/vmparam.h
180
#define VM_KERNEL_IO_BASE (VM_KERNEL_DTB_BASE + VM_KERNEL_DTB_SIZE)