int ecp_tm_init(ECPContext *ctx);
ecp_sts_t ecp_tm_get_s(void);
ecp_sts_t ecp_tm_get_ms(void);
void ecp_tm_sleep(ecp_sts_t msec);
void ecp_tm_timer_set(ecp_sts_t next);