is_1gib_page_supported: use (void), not () if there's no args
Signed-off-by: Andy-Python-Programmer <andypythonappdeveloper@gmail.com>
diff --git a/stage23/mm/vmm.c b/stage23/mm/vmm.c
index c6eebbe8..eb3f31f3 100644
--- a/stage23/mm/vmm.c
+++ b/stage23/mm/vmm.c
@@ -40,7 +40,7 @@ pagemap_t new_pagemap(int lv) {
return pagemap;
}
-static bool is_1gib_page_supported() {
+static bool is_1gib_page_supported(void) {
// Cache the cpuid result :^)
static bool CACHE_INIT = false;
static bool CACHE = false;
