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