ENVCTRL_UE250_OVERTEMP_TIMEOUT_USEC
overtemp_timeout_hz = drv_usectohz(ENVCTRL_UE250_OVERTEMP_TIMEOUT_USEC);
drv_usectohz(ENVCTRL_UE250_OVERTEMP_TIMEOUT_USEC / 6);