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