reset_hung_task_detector
static inline void reset_hung_task_detector(void) { }
void reset_hung_task_detector(void)