// This file is part of noxos and licensed under the MIT open source license

#ifndef NOX_MEMORY_MAP_H
#define NOX_MEMORY_MAP_H

#include "utils/stdtypes.h"
#include "boot/boot_info.h"

uint64_t memory_map_get_total_memory_size(boot_info_T* boot_info);

#endif //NOX_MEMORY_MAP_H