tag	line	file	source code
system_name	50	arch/sparc/kernel/idprom.c	char system_name[128];
system_name	60	arch/sparc/kernel/idprom.c	system_name, sizeof(system_name));
system_name	61	arch/sparc/kernel/idprom.c	printk("TYPE: %s\n", system_name);