tag	line	file	source code
adjust_clock	686	kernel/sys.c	void     adjust_clock();
adjust_clock	696	kernel/sys.c	adjust_clock();