Searched refs:devtimer_current_time (Results 1 – 2 of 2) sorted by relevance
214 current_time = devtimer_current_time(); in devtimer_set_relative()248 tv = devtimer_current_time(); in devtimer_current_secs()253 devtimer_current_time(void) in devtimer_current_time() function
90 devtimer_current_time(void);