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