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);