INTERCEPT_VMMCALL
vmcb_clr_intercept(c, INTERCEPT_VMMCALL);
svm_set_intercept(svm, INTERCEPT_VMMCALL);
(1ULL << INTERCEPT_VMMCALL);