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;