/* banner_display - Display banner on first instance of driver initialized.  */
static void banner_display(void)
/* banner_display - Display banner on first instance of driver initialized.  */
static void banner_display(void)
{
	static int banner_done = 0;
	if (!banner_done)
	{
		dprintkl(KERN_INFO, "%s %s\n", DC395X_BANNER, DC395X_VERSION);
		banner_done = 1;
	}
}