#ifndef MMU_H #define MMU_H void mmu_reinit(); #endif /* MMU_H */