PRINTKI
PRINTKI("aty_init: DAC type not implemented yet!\n");
PRINTKI("aty_init: CLK type not implemented yet!");
PRINTKI("%d%c %s, %s MHz XTAL, %d MHz PLL, %d Mhz MCLK, %d MHz XCLK\n",
PRINTKI("monitor sense=%x, mode %d\n",
PRINTKI("fb%d: %s frame buffer device on %s\n",
PRINTKI("store_video_par() '%s' \n", video_str);
PRINTKI("stored them all: $%08lX $%08lX $%08lX \n", vmembase, size,
PRINTKI("BIOS contains driver information table.\n");
PRINTKI("%s%s %s monitor detected: %s\n",
PRINTKI(" id=%d, %dx%d pixels, %s\n",
PRINTKI(" supports refresh rates [%s], default %d Hz\n",
PRINTKI(" LCD CRTC parameters: %d.%d %d %d %d %d %d %d %d %d\n",
PRINTKI(" : %d %d %d %d %d %d %d %d %d\n",
PRINTKI("Mach64 BIOS is located at %x, mapped at %x.\n", rom_addr, bios_base);
PRINTKI("BIOS frequency table:\n");
PRINTKI("PCLK_min_freq %d, PCLK_max_freq %d, ref_freq %d, ref_divider %d\n",
PRINTKI("MCLK_pwd %d, MCLK_max_freq %d, XCLK_max_freq %d, SCLK_freq %d\n",
PRINTKI("using auxiliary register aperture\n");
PRINTKI("phys_*[%d] parameters not set => "
PRINTKI("%s [0x%04x rev 0x%02x]\n", name, type, rev);
PRINTKI("Disable LCD panel, because video mode does not fit.\n");