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