TIMER_BASEMASK   1034 kernel/time/timer.c 				   (timer->flags & ~TIMER_BASEMASK) | base->cpu);
TIMER_BASEMASK   1169 kernel/time/timer.c 			   (timer->flags & ~TIMER_BASEMASK) | cpu);
TIMER_BASEMASK   1953 kernel/time/timer.c 		timer->flags = (timer->flags & ~TIMER_BASEMASK) | cpu;