gerrit-public.fairphone.software / kernel / msm-4.9 / e0b07b797c8aa820e96f533a9dab33d2e012f563 / drivers / irqchip / irq-imgpdc.c