1 files changed, 2 insertions, 2 deletions
diff --git a/devices/vga.c b/devices/vga.c
index 12ac880..6d64c0a 100644
--- a/devices/vga.c
+++ b/devices/vga.c
@@ -57,7 +57,7 @@ vga_update_cursor()
 
 // *** Text Mode Output ***
 void
-vga_putc(const FILE *self, char a)
+vga_putc(__attribute__((unused)) const FILE *self, char a)
 {
   switch (a) {
   case '\n':
@@ -115,7 +115,7 @@ vga_puts(const FILE *self, const char *string, int len)
 }
 
 void
-vga_flush(const FILE *self)
+vga_flush(__attribute__((unused)) const FILE *self)
 {
   vga_update_cursor();
 }