INTERCEPT_CR3_WRITE 1548 arch/x86/kvm/svm.c 	set_cr_intercept(svm, INTERCEPT_CR3_WRITE);
INTERCEPT_CR3_WRITE 1647 arch/x86/kvm/svm.c 		clr_cr_intercept(svm, INTERCEPT_CR3_WRITE);