HYPERVISOR_VIRT_START
#ifndef HYPERVISOR_VIRT_START
#ifndef HYPERVISOR_VIRT_START
#define machine_to_phys_mapping ((unsigned long *)HYPERVISOR_VIRT_START)
NEXT_HKR(r, 3, HYPERVISOR_VIRT_START, HYPERVISOR_VIRT_END);
((va) >= HYPERVISOR_VIRT_START && (va) < HYPERVISOR_VIRT_END)