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