Searched refs:VMCB_ASID (Results 1 – 3 of 3) sorted by relevance
53 VMCB_ASID, /* ASID */ enumerator 71 (1U << VMCB_ASID) | (1U << VMCB_INTR) | \
2010 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in new_asid() 4213 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in svm_vcpu_run()
2677 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in pre_sev_run()