_e820__mapped_any
return _e820__mapped_any(e820_table, start, end, type);
return _e820__mapped_any(e820_table_firmware, start, end, type);