#ifndef MMU_H
#define MMU_H
#include <types.h>
void mmu_reinit();
void declare_memory_region(void *lower, void *upper);
#endif /* MMU_H */