IN_RANGE
if (IN_RANGE(v, kernstart, kernend)) {
} else if (IN_RANGE(v, AARCH64_DIRECTMAP_START, AARCH64_DIRECTMAP_END)) {
if (IN_RANGE(pa, kernstart_phys,
KDASSERT(IN_RANGE(va, VM_MIN_KERNEL_ADDRESS, VM_MAX_KERNEL_ADDRESS));
!(IN_RANGE(va, VM_MIN_KERNEL_ADDRESS, VM_MAX_KERNEL_ADDRESS))) ||
!(IN_RANGE(va, VM_MIN_ADDRESS, VM_MAX_ADDRESS)))) {
KASSERT(IN_RANGE(va, VM_MIN_KERNEL_ADDRESS, VM_MAX_KERNEL_ADDRESS));
IN_RANGE((va), AARCH64_DIRECTMAP_START, AARCH64_DIRECTMAP_END)
IN_RANGE((va), EFI_RUNTIME_VA, EFI_RUNTIME_VA + EFI_RUNTIME_SIZE)
#define IN_MODULE_VA(va) IN_RANGE((va), module_start, module_end)
(IN_RANGE((va), VM_MIN_KERNEL_ADDRESS, VM_MAX_KERNEL_ADDRESS) || \
KASSERTMSG(IN_RANGE((va), \
if (IN_RANGE(va, (vaddr_t)__kernel_text, (vaddr_t)_end)) {