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