gerrit-public.fairphone.software / kernel / msm-5.4 / 08a3e5dca04ada02516102acf8cbd77f89baee6d / drivers / irqchip / irq-goldfish-pic.c