VM_KERNEL_IO_BASE
VM_KERNEL_IO_BASE,
(addr >= VM_KERNEL_IO_BASE);
#define VM_KERNEL_IO_SIZE (VM_MAX_KERNEL_ADDRESS - VM_KERNEL_IO_BASE)
#define VM_KERNEL_VM_SIZE (VM_KERNEL_IO_BASE - VM_KERNEL_VM_BASE)
#define VM_KERNEL_VM_END VM_KERNEL_IO_BASE
#define VM_KERNEL_IO_SIZE (VM_MAX_KERNEL_ADDRESS - VM_KERNEL_IO_BASE)
#define KERNEL_IO_VBASE VM_KERNEL_IO_BASE
DEVMAP_ENTRY(VM_KERNEL_IO_BASE, 0, PAGE_SIZE),
#define CONSADDR_VA (VM_KERNEL_IO_BASE + (CONSADDR & SEGOFSET))