tbase_get_base    511 kernel/timer.c 		base = tbase_get_base(prelock_base);
tbase_get_base    747 kernel/timer.c 		BUG_ON(tbase_get_base(timer->base) != base);