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