793 	unsigned char ext_vga[6];  in mga_crtc_mode_set()  local
963 	ext_vga[0] = 0;  in mga_crtc_mode_set()
964 	ext_vga[5] = 0;  in mga_crtc_mode_set()
968 	ext_vga[0] |= (pitch & 0x300) >> 4;  in mga_crtc_mode_set()
969 	ext_vga[1] = (((htotal - 4) & 0x100) >> 8) |  in mga_crtc_mode_set()
973 	ext_vga[2] = ((vtotal & 0xc00) >> 10) |  in mga_crtc_mode_set()
979 		ext_vga[3] = (((1 << bppshift) * 3) - 1) | 0x80;  in mga_crtc_mode_set()
981 		ext_vga[3] = ((1 << bppshift) - 1) | 0x80;  in mga_crtc_mode_set()
982 	ext_vga[4] = 0;  in mga_crtc_mode_set()
984 		ext_vga[1] |= 0x88;  in mga_crtc_mode_set()
993 		WREG_ECRT(i, ext_vga[i]);  in mga_crtc_mode_set()
1003 	WREG_ECRT(0, ext_vga[0]);  in mga_crtc_mode_set()