tag	line	file	source code
ADJ_TICK	381	kernel/time.c	if (txc.mode & ADJ_TICK)
ADJ_TICK	438	kernel/time.c	if (txc.mode & ADJ_TICK)