#ifndef MM_H
#define MM_H

#include <stdint.h>
#include <stddef.h>

void mm_init(void);
void mm_register_ram_region(uint64_t base, uint32_t size);
size_t mm_get_total_ram(void);

#endif