gerrit-public.fairphone.software / fp2-dev / kernel / msm / 59579da329b22bcddc5da0c22c61d6dc1f9eb96a / include / asm-um / mmu.h