:: commit 9dd2e17a9a68745c55d9e9e6244e52204f219c32

Andy-Python-Programmer <andypythonappdeveloper@gmail.com> — 2022-01-27 04:40

parents: 3c848d3996

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;
tab: 248 wrap: offon