INTERCEPT_CR4_READ
svm_clr_intercept(svm, INTERCEPT_CR4_READ);
svm_set_intercept(svm, INTERCEPT_CR4_READ);