Symbol: KERNEL_IO_VBASE
sys/arch/evbarm/bcm53xx/platform.h
55
#define KERNEL_IO_VBASE KERNEL_VM_TOP
sys/arch/evbarm/fdt/platform.h
32
#define KERNEL_IO_VBASE VM_KERNEL_IO_BASE