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