k5_debug_time_t
k5_debug_time_t now;
k5_debug_time_t now = get_current_time();
timediff(k5_debug_time_t t2, k5_debug_time_t t1)
static inline k5_debug_time_t get_current_time(void)
k5_debug_time_t time_acquired, time_created;
typedef k5_debug_time_t k5_mutex_stats_tmp;