tag	line	file	source code
TICK_SIZE	157	kernel/time.c	offset = TICK_SIZE;
TICK_SIZE	159	kernel/time.c	count = ((LATCH-1) - count) * TICK_SIZE;