gerrit-public.fairphone.software / kernel / msm-4.19 / 5bb7289d7f9d5c7418892c342824196602d20729 / drivers / irqchip / irqchip.h