INKERNEL
#define INKERNEL(va) \
#define INKERNEL(va) (((vm_offset_t)(va)) >= VM_MIN_KERNEL_ADDRESS)
#define INKERNEL(va) \
#define INKERNEL(x) (((x) <= VM_MAX_KERNEL_ADDRESS && \
#define INKERNEL(va) (TRUE)
#define INKERNEL(va) ((va) >= VM_MIN_KERNEL_ADDRESS && \