Searched refs:VMCB_ASID (Results 1 – 3 of 3) sorted by relevance
43 VMCB_ASID, /* ASID */ enumerator
1204 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in pre_sev_run()
1761 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in new_asid()
