tag	line	file	source code
printbuf	41	init/main.c	static char printbuf[1024];
printbuf	670	init/main.c	write(1,printbuf,i=vsprintf(printbuf, fmt, args));