get_timer_base    935 kernel/time/timer.c 			base = get_timer_base(tf);
get_timer_base   1281 kernel/time/timer.c 		struct timer_base *base = get_timer_base(tf);