4 #include "types.h" // u64
7 #define E820_RESERVED 2
10 #define E820_UNUSABLE 5
18 void add_e820(u64 start, u64 size, u32 type);
20 void memmap_finalize();
22 // Space for exported bios tables.
23 extern u32 bios_table_cur_addr, bios_table_end_addr;