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