headers/private/kernel/arch/m68k/arch_mmu.h headers/private/kernel/arch/mipsel/arch_mmu.h headers/private/kernel/arch/ppc/arch_mmu.h headers/private/kernel/arch/sparc/arch_mmu.h headers/private/kernel/boot/platform/efi/arch_mmu.h src/system/boot/platform/efi/arch/arm64/arch_mmu.h
