43 #define WKF_UTILS_INC 1
double wkf_timer_time(wkf_timerhandle v)
void wkf_timer_destroy(wkf_timerhandle v)
double wkf_timer_start_time(wkf_timerhandle v)
wkfmsgtimer * wkf_msg_timer_create(double updatetime)
wkf_timerhandle wkf_timer_create(void)
void wkf_msg_timer_destroy(wkfmsgtimer *mt)
void wkf_timer_stop(wkf_timerhandle v)
void wkf_timer_start(wkf_timerhandle v)
double wkf_timer_timenow(wkf_timerhandle v)
int wkf_msg_timer_timeout(wkfmsgtimer *mt)
double wkf_timer_stop_time(wkf_timerhandle v)