vkernel_timer_get_timecount
timer->base = oclock - vkernel_timer_get_timecount();
static sysclock_t vkernel_timer_get_timecount(void);
.count = vkernel_timer_get_timecount,
