tag	line	file	source code
kernel_mktime	36	kernel/time.c	extern long kernel_mktime(struct mktime * time);
kernel_mktime	73	kernel/time.c	xtime.tv_sec = kernel_mktime(&time);