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