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