Searched refs:vkernel_timer_get_timecount (Results 1 – 1 of 1) sorted by relevance
86 static sysclock_t vkernel_timer_get_timecount(void);95 .count = vkernel_timer_get_timecount,145 timer->base = oclock - vkernel_timer_get_timecount(); in vkernel_timer_construct()154 vkernel_timer_get_timecount(void) in vkernel_timer_get_timecount() function