VIRTUAL_APIC_PAGE_ADDR
EVMCS1_FIELD(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr,
vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, pfn_to_hpa(map->pfn));
vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, INVALID_GPA);
VMCS12_CASE64(VIRTUAL_APIC_PAGE_ADDR):
FIELD64(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr),
vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0);
vmcs_write64(VIRTUAL_APIC_PAGE_ADDR,
pr_cont("virt-APIC addr = 0x%016llx\n", vmcs_read64(VIRTUAL_APIC_PAGE_ADDR));
case VIRTUAL_APIC_PAGE_ADDR:
case VIRTUAL_APIC_PAGE_ADDR: