VMCB_ASID        2708 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_ASID);
VMCB_ASID        5079 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_ASID);