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