};
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[];
extern int e820_count;
// Space for exported bios tables (defined in misc.c)
-extern u32 bios_table_cur_addr, bios_table_end_addr;
extern char BiosTableSpace[];
#endif // e820map.h