PRINTKI           540 drivers/video/fbdev/aty/atyfb_base.c 	PRINTKI("%s [0x%04x rev 0x%02x]\n", name, type, rev);
PRINTKI           920 drivers/video/fbdev/aty/atyfb_base.c 					PRINTKI("Disable LCD panel, because video mode does not fit.\n");
PRINTKI          2367 drivers/video/fbdev/aty/atyfb_base.c 			PRINTKI("aty_init: DAC type not implemented yet!\n");
PRINTKI          2382 drivers/video/fbdev/aty/atyfb_base.c 			PRINTKI("aty_init: CLK type not implemented yet!");
PRINTKI          2550 drivers/video/fbdev/aty/atyfb_base.c 	PRINTKI("%d%c %s, %s MHz XTAL, %d MHz PLL, %d Mhz MCLK, %d MHz XCLK\n",
PRINTKI          2652 drivers/video/fbdev/aty/atyfb_base.c 				PRINTKI("monitor sense=%x, mode %d\n",
PRINTKI          2721 drivers/video/fbdev/aty/atyfb_base.c 	PRINTKI("fb%d: %s frame buffer device on %s\n",
PRINTKI          2740 drivers/video/fbdev/aty/atyfb_base.c 	PRINTKI("store_video_par() '%s' \n", video_str);
PRINTKI          2755 drivers/video/fbdev/aty/atyfb_base.c 	PRINTKI("stored them all: $%08lX $%08lX $%08lX \n", vmembase, size,
PRINTKI          3131 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("BIOS contains driver information table.\n");
PRINTKI          3231 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("%s%s %s monitor detected: %s\n",
PRINTKI          3233 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("       id=%d, %dx%d pixels, %s\n",
PRINTKI          3254 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("       supports refresh rates [%s], default %d Hz\n",
PRINTKI          3313 drivers/video/fbdev/aty/atyfb_base.c 			PRINTKI("       LCD CRTC parameters: %d.%d  %d %d %d %d  %d %d %d %d\n",
PRINTKI          3324 drivers/video/fbdev/aty/atyfb_base.c 			PRINTKI("                          : %d %d %d %d %d %d %d %d %d\n",
PRINTKI          3355 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("Mach64 BIOS is located at %x, mapped at %x.\n", rom_addr, bios_base);
PRINTKI          3363 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("BIOS frequency table:\n");
PRINTKI          3364 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("PCLK_min_freq %d, PCLK_max_freq %d, ref_freq %d, ref_divider %d\n",
PRINTKI          3367 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("MCLK_pwd %d, MCLK_max_freq %d, XCLK_max_freq %d, SCLK_freq %d\n",
PRINTKI          3409 drivers/video/fbdev/aty/atyfb_base.c 		PRINTKI("using auxiliary register aperture\n");
PRINTKI          3610 drivers/video/fbdev/aty/atyfb_base.c 			PRINTKI("phys_*[%d] parameters not set => "