gerrit-public.fairphone.software / kernel / msm-4.9 / bbe1e0ba527a18e1ddda2eabb9da369e5bcf556e / include / asm-cris / arch-v10 / svinto.h