From: Kevin O'Connor <kevin@koconnor.net>
Date: Thu, 23 Oct 2014 19:54:59 +0000 (-0400)
Subject: vgabios: Only set the dcc_index=8 if stdvga ports are available
X-Git-Tag: rel-1.8.0~55
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=c5acee4d8da81b915f587586280d84d347b1e7df;p=people%2Fandrewcoop%2Fseabios.git

vgabios: Only set the dcc_index=8 if stdvga ports are available

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
---

diff --git a/vgasrc/vgainit.c b/vgasrc/vgainit.c
index 758fea4..a16e81c 100644
--- a/vgasrc/vgainit.c
+++ b/vgasrc/vgainit.c
@@ -111,8 +111,7 @@ init_bios_area(void)
     // Set the basic modeset options
     SET_BDA(modeset_ctl, 0x51);
 
-    // FIXME We nearly have the good tables. to be reworked
-    SET_BDA(dcc_index, 0x08);   // 8 is VGA should be ok for now
+    SET_BDA(dcc_index, CONFIG_VGA_STDVGA_PORTS ? 0x08 : 0xff);
     SET_BDA(video_savetable
             , SEGOFF(get_global_seg(), (u32)&video_save_pointer_table));