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