banner_printed    591 drivers/cdrom/cdrom.c 	static char banner_printed;
banner_printed    598 drivers/cdrom/cdrom.c 	if (!banner_printed) {
banner_printed    600 drivers/cdrom/cdrom.c 		banner_printed = 1;