Searched refs:VMCB_ASID (Results 1 – 1 of 1) sorted by relevance
220 VMCB_ASID, /* ASID */ enumerator1582 mark_dirty(svm->vmcb, VMCB_ASID); in new_asid()