src/system/boot/arch/m68k/mmu.h

20

extern void mmu_init_for_kernel(void);

src/system/boot/platform/amiga_m68k/mmu.h

20

extern void mmu_init_for_kernel(void);

src/system/boot/platform/amiga_m68k/start.cpp

80

mmu_init_for_kernel();

src/system/boot/platform/atari_m68k/mmu.h

21

extern void mmu_init_for_kernel(void);

src/system/boot/platform/atari_m68k/start.cpp

80

mmu_init_for_kernel();

src/system/boot/platform/bios_ia32/mmu.h

29

extern void mmu_init_for_kernel(void);

src/system/boot/platform/bios_ia32/start.cpp

141

mmu_init_for_kernel();

src/system/boot/platform/next_m68k/mmu.h

21

extern void mmu_init_for_kernel(void);

src/system/boot/platform/next_m68k/start.cpp

83

mmu_init_for_kernel();

src/system/boot/platform/riscv/mmu.h

22

void mmu_init_for_kernel(addr_t& satp);

src/system/boot/platform/riscv/start.cpp

173

mmu_init_for_kernel(satp);

src/system/boot/platform/u-boot/mmu.h

22

extern void mmu_init_for_kernel(void);

src/system/boot/platform/u-boot/start.cpp

120

mmu_init_for_kernel();