gerrit-public.fairphone.software / fp2-dev / kernel / msm / 0ec734c2b8b005667ffdaef8610d1024630683b0 / include / asm-alpha / mmu.h