#ifndef MMU_H
#define MMU_H

#include <types.h>

void mmu_reinit();
void declare_memory_region(void *lower, void *upper);

#endif /* MMU_H */