INTERCEPT_VINTR  2425 arch/x86/kvm/svm.c 	set_intercept(svm, INTERCEPT_VINTR);
INTERCEPT_VINTR  2430 arch/x86/kvm/svm.c 	clr_intercept(svm, INTERCEPT_VINTR);