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