#ifndef __ARM_CPU_MMU_EARLY_H
#define __ARM_CPU_MMU_EARLY_H
void mmu_early_enable(uint32_t membase, uint32_t memsize, uint32_t ttb);
#endif /* __ARM_CPU_MMU_EARLY_H */