Searched refs:VMCB_ASID (Results 1 – 2 of 2) sorted by relevance
70 VMCB_ASID, /* ASID */ enumerator89 (1U << VMCB_ASID) | (1U << VMCB_INTR) | \
4523 vmcb_mark_dirty(svm->vmcb, VMCB_ASID); in svm_vcpu_run()