banner_done      4644 drivers/scsi/dc395x.c 	static int banner_done = 0;
banner_done      4645 drivers/scsi/dc395x.c 	if (!banner_done)
banner_done      4648 drivers/scsi/dc395x.c 		banner_done = 1;