VM_KERNEL_DTB_BASE
#define VM_KERNEL_IO_BASE (VM_KERNEL_DTB_BASE + VM_KERNEL_DTB_SIZE)
const vaddr_t dtbva = VM_KERNEL_DTB_BASE + (dtb & (NBSEG - 1));