HYPERVISOR_VIRT_END
NEXT_HKR(r, 3, HYPERVISOR_VIRT_START, HYPERVISOR_VIRT_END);
htable_e2va(dest, entry) < HYPERVISOR_VIRT_END)
probe_va = HYPERVISOR_VIRT_END;
#if defined(HYPERVISOR_VIRT_END)
xpv_end = HYPERVISOR_VIRT_END;
((va) >= HYPERVISOR_VIRT_START && (va) < HYPERVISOR_VIRT_END)