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