Searched refs:get_linux_timer (Results 1 – 2 of 2) sorted by relevance
63 static inline unsigned long get_linux_timer (void) in get_linux_timer() function
162 set_linux_timer(get_linux_timer()); in timer_interrupt()