#ifndef __ARM_MMU_H
#define __ARM_MMU_H

void __mmu_cache_on(void);
void __mmu_cache_off(void);
void __mmu_cache_flush(void);

#endif /* __ARM_MMU_H */