gerrit-public.fairphone.software / kernel / msm-4.9 / 4cf10b889245d84d5e19d031f258a64a79257878 / Documentation / devicetree / bindings / powerpc / fsl / mpic-timer.txt