tag	line	file	source code
s4cinfo	1060	arch/sparc/mm/sun4c.c	static char s4cinfo[512];
s4cinfo	1070	arch/sparc/mm/sun4c.c	sprintf(s4cinfo, "vacsize: %d bytes\n"
s4cinfo	1089	arch/sparc/mm/sun4c.c	return s4cinfo;