From 9dd2e17a9a68745c55d9e9e6244e52204f219c32 Mon Sep 17 00:00:00 2001
From: Andy-Python-Programmer <andypythonappdeveloper@gmail.com>
Date: Thu, 27 Jan 2022 15:40:51 +1100
Subject: [PATCH] is_1gib_page_supported: use (void), not () if there's no args

Signed-off-by: Andy-Python-Programmer <andypythonappdeveloper@gmail.com>
---
 stage23/mm/vmm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;