INTERCEPT_CR3_READ 1545 arch/x86/kvm/svm.c 	set_cr_intercept(svm, INTERCEPT_CR3_READ);
INTERCEPT_CR3_READ 1646 arch/x86/kvm/svm.c 		clr_cr_intercept(svm, INTERCEPT_CR3_READ);