vga_out16         544 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0x4838, par);
vga_out16         545 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0xa039, par);
vga_out16         546 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3c4, 0x0608, par);
vga_out16         697 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0x4838, par);
vga_out16         698 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0xa039, par);
vga_out16         699 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3c4, 0x0608, par);
vga_out16        1267 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0x4838, par);
vga_out16        1268 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0xa539, par);
vga_out16        1269 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3c4, 0x0608, par);
vga_out16        1304 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3c4, 0x0608, par);
vga_out16        1478 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, (base & 0x00ff00) | 0x0c, par);
vga_out16        1479 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, ((base & 0x00ff) << 8) | 0x0d, par);
vga_out16        1826 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0x4838, par);
vga_out16        1827 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0xa039, par);
vga_out16        1828 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3c4, 0x0608, par);
vga_out16        1839 drivers/video/fbdev/savage/savagefb_driver.c 	vga_out16(0x3d4, 0x4838, par);