rem: void voodoo3_set_monitor_defaults()
add: voodoo3_set_monitor_defaults(void)
context: void voodoo3_set_monitor_defaults(){	MonitorRegs m; 	MonitorRegs *mode;	int i;	memset(&m, 0, sizeof(MonitorRegs));		mode = &m;    mode->crtc_regs[0] = 159;    mode->crtc_regs[1] = 127;    mode->crtc_regs[2] = 127;    mode->crtc_regs[3] = 131;    mode->crtc_regs[4] = 129;        mode->crtc_regs[5] = 141;    mode->crtc_regs[6] = 30;    mode->crtc_regs[7] = 245;    mode->crtc_regs[8] = 0;    mode->crtc_regs[9] = 96;        mode->crtc_regs[10] = 0;    mode->crtc_regs[11] = 0;    mode->crtc_regs[12] = 0;    mode->crtc_regs[13] = 0;    mode->crtc_regs[14] = 0;    mode->crtc_regs[15] = 0;        mode->crtc_regs[16] = 1;    mode->crtc_regs[17] = 36;    mode->crtc_regs[18] = 255;    mode->crtc_regs[19] = 127;    mode->crtc_regs[20] = 0;    mode->crtc_regs[21] = 255;        mode->crtc_regs[22] = 31;    mode->crtc_regs[23] = 128;    mode->crtc_regs[24] = 255;    	vga_outb(MISC_W, 0x0f);    	for (i = 0; i < 0x19; i ++)		write_crt_registers(i, mode->crtc_regs[i]);}