From b0b39ff899ef55a69b9e0aa9fa6ebdf54480b191 Mon Sep 17 00:00:00 2001
From: twinaphex <libretro@gmail.com>
Date: Tue, 30 Jan 2018 22:16:16 +0100
Subject: [PATCH] Cleanups

---
 gfx/drivers/vga_gfx.c | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/gfx/drivers/vga_gfx.c b/gfx/drivers/vga_gfx.c
index 0ba687d71a..168378a741 100644
--- a/gfx/drivers/vga_gfx.c
+++ b/gfx/drivers/vga_gfx.c
@@ -42,7 +42,7 @@ static unsigned vga_video_pitch      = 0;
 static unsigned vga_video_bits       = 0;
 static bool vga_rgb32                = false;
 
-static void vga_set_mode_13h()
+static void vga_set_mode_13h(void)
 {
    __dpmi_regs r;
 
@@ -50,7 +50,7 @@ static void vga_set_mode_13h()
    __dpmi_int(0x10, &r);
 }
 
-static void vga_return_to_text_mode()
+static void vga_return_to_text_mode(void)
 {
    __dpmi_regs r;
 
@@ -58,7 +58,7 @@ static void vga_return_to_text_mode()
    __dpmi_int(0x10, &r);
 }
 
-static void vga_upload_palette()
+static void vga_upload_palette(void)
 {
    unsigned i;
    unsigned char r = 0;
@@ -90,19 +90,17 @@ static void vga_upload_palette()
    }
 }
 
-static void vga_vsync()
+static void vga_vsync(void)
 {
    /* wait until any previous retrace has ended */
    do
    {
-   }
-   while (inportb(0x3da) & 8);
+   }while (inportb(0x3da) & 8);
 
    /* wait until a new retrace has just begun */
    do
    {
-   }
-   while (!(inportb(0x3da) & 8));
+   }while (!(inportb(0x3da) & 8));
 }
 
 static void vga_gfx_create(void)