tag	line	file	source code
printk_header	1969	drivers/block/sbpcd.c	char *printk_header="";
printk_header	1987	drivers/block/sbpcd.c	printk("%sDrive %d: %s%.4s (%.4s)\n", printk_header,
printk_header	1992	drivers/block/sbpcd.c	printk_header="       - ";