HVCALL_RESET_DEBUG_SESSION
case HVCALL_RESET_DEBUG_SESSION:
case HVCALL_RESET_DEBUG_SESSION: {
hcall->control = HVCALL_RESET_DEBUG_SESSION;
hcall->control = HVCALL_RESET_DEBUG_SESSION;
hcall->control = HVCALL_RESET_DEBUG_SESSION;