tag	line	file	source code
adjust_clock	596	kernel/sys.c	void     adjust_clock();
adjust_clock	606	kernel/sys.c	adjust_clock();