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