vgabios: Rename vgaio.c to stdvga.c.
[seabios.git] / vgasrc / geodelx.c
index 1d58be089efaf3a6a3c8131674cea32de04c29b0..4a5f8734f5df1237632dd61f0a77a9a57a6dde1c 100644 (file)
@@ -15,6 +15,7 @@
 #include "config.h"
 #include "types.h"
 #include "bregs.h"
+#include "stdvga.h" // VGAREG_VGA_CRTC_ADDRESS
 
 
 /****************************************************************