HPAGE_GPA
HPAGE_GPA, HPAGE_SLOT,
virt_map_level(vm, HPAGE_GVA, HPAGE_GPA, nr_bytes, PG_LEVEL_4K);
virt_map_level(vm, HPAGE_GVA, HPAGE_GPA, nr_bytes, PG_LEVEL_2M);
hva = addr_gpa2hva(vm, HPAGE_GPA);
#define HPAGE_GVA HPAGE_GPA /* GVA is arbitrary, so use GPA. */