VM_MAXUSER_ADDRESS
#define INKERNEL(va) (((vm_offset_t)(va)) >= VM_MAXUSER_ADDRESS && \
#define VM_DEVMEM_START (VM_MAXUSER_ADDRESS + 1)
vmspace = vmspace_alloc(VM_MAXUSER_ADDRESS);