Searched refs:get_linux_timer (Results 1 – 2 of 2) sorted by relevance
89 next = get_linux_timer(); in timer_interrupt()
83 static inline unsigned long get_linux_timer (void) in get_linux_timer() function