tag	line	file	source code
printk_header	2621	drivers/block/sbpcd.c	char *printk_header="";
printk_header	2639	drivers/block/sbpcd.c	printk("%sDrive %d (ID=%d): %.9s (%.4s)\n", printk_header, d,
printk_header	2643	drivers/block/sbpcd.c	printk_header="       - ";