gerrit-public.fairphone.software / kernel / msm-4.19 / 902084278b96a8ac6b541152130f5d7a4cd307b5 / drivers / irqchip / irq-imgpdc.c