[SeaBIOS] [PATCH 6/4] Make use of geodevga_set_mode()

[Christian Gmeiner]

Make use of geodevga_set_mode().
---
 vgasrc/vgahw.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vgasrc/vgahw.h b/vgasrc/vgahw.h
index 044cd32..43cfaee 100644
--- a/vgasrc/vgahw.h
+++ b/vgasrc/vgahw.h
@@ -22,6 +22,8 @@ static inline int vgahw_set_mode(struct vgamode_s
*vmode_g, int flags) {
         return clext_set_mode(vmode_g, flags);
     if (CONFIG_VGA_BOCHS)
         return bochsvga_set_mode(vmode_g, flags);
+    if (CONFIG_VGA_GEODELX)
+        return geodevga_set_mode(vmode_g, flags);
     return stdvga_set_mode(vmode_g, flags);
 }