INTERCEPT_INVLPG 1576 arch/x86/kvm/svm.c 	set_intercept(svm, INTERCEPT_INVLPG);
INTERCEPT_INVLPG 1644 arch/x86/kvm/svm.c 		clr_intercept(svm, INTERCEPT_INVLPG);