HPTS_MSEC_IN_SEC
return ((uint32_t) ((sv->tv_sec * HPTS_MSEC_IN_SEC) + (sv->tv_usec/HPTS_USEC_IN_MSEC)));
if (timeleft < HPTS_MSEC_IN_SEC) {
return((uint32_t)(ts / HPTS_MSEC_IN_SEC));