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