gerrit-public.fairphone.software / kernel / msm-4.19 / f2d0d263b51d13efe55f0aae9254b69ba2855f1c / arch / ppc / xmon / ppc.h