Searched refs:VIRTUAL_APIC_PAGE_ADDR (Results 1 – 2 of 2) sorted by relevance
151 VIRTUAL_APIC_PAGE_ADDR = 0x00002012, enumerator
712 FIELD64(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr),4941 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, 0); in vmx_vcpu_reset()4943 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, in vmx_vcpu_reset()9660 vmcs_write64(VIRTUAL_APIC_PAGE_ADDR, in prepare_vmcs02()