X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fvga.c;h=28235af6141a0fd7ed6a57298ede87471ec4e542;hb=aa9a8ed3132ec405c8362b3fddf3868871fb7993;hp=7261fc47ae03229634228e830ec0dfc8eea8eab9;hpb=750d21936d284127e265d050ccbce76fca1ece1a;p=pintos-anon diff --git a/src/devices/vga.c b/src/devices/vga.c index 7261fc4..28235af 100644 --- a/src/devices/vga.c +++ b/src/devices/vga.c @@ -1,8 +1,8 @@ #include "vga.h" #include #include -#include #include "io.h" +#include "lib.h" #include "mmu.h" static size_t vga_cols, vga_rows;