INKERNEL
#define INKERNEL(va) (((vaddr_t)(va)) >= VM_MIN_KERNEL_ADDRESS)
#define INKERNEL(va) (((vaddr_t)(va)) >= VM_MIN_KERNEL_ADDRESS)
#define INKERNEL(va) (((vaddr_t)(va)) & (1ULL << 63))
#define INKERNEL(va) (((vaddr_t)(va)) & (1ULL << 63))
#define INKERNEL(va) (((vaddr_t)(va)) >= VM_MIN_KERNEL_ADDRESS)
#define INKERNEL(va) (((vaddr_t)(va)) >= VM_MIN_KERNEL_ADDRESS && \
#define INKERNEL(va) (((vaddr_t)(va)) & (1ULL << 63))
#define INKERNEL(va) (((vaddr_t)(va)) & (1ULL << 63))