BASE_DEF          845 kernel/time/timer.c 		base = per_cpu_ptr(&timer_bases[BASE_DEF], cpu);
BASE_DEF          858 kernel/time/timer.c 		base = this_cpu_ptr(&timer_bases[BASE_DEF]);
BASE_DEF         1788 kernel/time/timer.c 		__run_timers(this_cpu_ptr(&timer_bases[BASE_DEF]));