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