LVL_MASK          494 kernel/time/timer.c 	return LVL_OFFS(lvl) + (expires & LVL_MASK);
LVL_MASK          519 kernel/time/timer.c 		idx = clk & LVL_MASK;
LVL_MASK         1466 kernel/time/timer.c 		idx = (clk & LVL_MASK) + i * LVL_SIZE;
LVL_MASK         1514 kernel/time/timer.c 		int pos = next_pending_bucket(base, offset, clk & LVL_MASK);