INTERCEPT_HLT
svm_set_intercept(svm, INTERCEPT_HLT);
BIT_ULL(INTERCEPT_HLT);
vmcb->control.intercept |= BIT(INTERCEPT_NMI) | BIT(INTERCEPT_HLT);