vgabios: Rename vgaio.c to stdvga.c.
[seabios.git] / vgasrc / clext.c
index 40447ffe84c23025de5ae96bcb4204421471f5bf..764d05b3a25bcff77a34a0b7bc316aa04b23c497 100644 (file)
@@ -10,6 +10,7 @@
 #include "util.h" // dprintf
 #include "bregs.h" // struct bregs
 #include "vbe.h" // struct vbe_info
+#include "stdvga.h" // VGAREG_SEQU_ADDRESS
 
 
 /****************************************************************