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