gerrit-public.fairphone.software / kernel / msm-4.9 / 6a0aa67b177a3d84f789f7f19c523d8c5e8bb5f8 / include / asm-alpha / mmu.h