#ifndef MMU_H
#define MMU_H
extern unsigned int *kernel_start_phys, *kernel_start_virt, *kernel_end_phys, *kernel_end_virt;
void mmu_reinit();
#endif /* MMU_H */