VMCB_AVIC         487 arch/x86/kvm/svm.c 	mark_dirty(svm->vmcb, VMCB_AVIC);
VMCB_AVIC        5182 arch/x86/kvm/svm.c 	mark_dirty(vmcb, VMCB_AVIC);