tag	line	file	source code
kernel_mktime	67	init/main.c	extern long kernel_mktime(struct mktime * time);
kernel_mktime	132	init/main.c	startup_time = kernel_mktime(&time);