};
void add_e820(u64 start, u64 size, u32 type);
-void memmap_setup();
-void memmap_finalize();
+void memmap_finalize(void);
+
+// A typical OS page size
+#define PAGE_SIZE 4096
// e820 map storage (defined in system.c)
extern struct e820entry e820_list[];