tag	line	file	source code
banner	70	drivers/char/pcxx.c	static char *banner = "Digiboard PC/X{i,e,eve} driver v1.5.6.  Christoph Lameter <clameter@fuller.edu>.";
banner	973	drivers/char/pcxx.c	printk("%s\n", banner);
banner	101	include/linux/cdk.h	unsigned long  banner;