tag	line	file	source code
firsttime	127	kernel/time.c	static int  firsttime = 1;
firsttime	147	kernel/time.c	if (firsttime) {
firsttime	148	kernel/time.c	firsttime = 0;