Searched refs:VMCB_AVIC (Results 1 – 2 of 2) sorted by relevance
52 VMCB_AVIC, /* AVIC APIC_BAR, AVIC APIC_BACKING_PAGE, enumerator429 vmcb_mark_dirty(svm->vmcb, VMCB_AVIC); in avic_update_vapic_bar()
664 vmcb_mark_dirty(vmcb, VMCB_AVIC); in svm_refresh_apicv_exec_ctrl()