vgabios: Rename vga.c to vgabios.c.
[seabios.git] / vgasrc / vgaio.c
index 61540766464385982e443e8e2af70646409696a9..bc4c9683756928067d7a2c872f392a4807e68cfc 100644 (file)
@@ -8,7 +8,7 @@
 #include "ioport.h" // outb
 #include "farptr.h" // SET_FARVAR
 #include "biosvar.h" // GET_BDA
-#include "vgatables.h" // VGAREG_*
+#include "vgabios.h" // VGAREG_*
 
 // TODO
 //  * replace direct in/out calls with wrapper functions