Searched refs:VIRTUAL_APIC_PAGE_ADDR (Results 1 – 2 of 2) sorted by relevance
149 VIRTUAL_APIC_PAGE_ADDR = 0x00002012, enumerator
657 FIELD64(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr),4793 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0); in vmx_vcpu_reset()4795 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, in vmx_vcpu_reset()9260 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, in prepare_vmcs02()