tag	line	file	source code
bdflush	49	init/main.c	extern int bdflush(void *);
bdflush	842	init/main.c	kernel_thread(bdflush, NULL, 0);