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