#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 */