GIC_DIST_SOFTINT  814 drivers/irqchip/irq-gic.c 			       gic_data_dist_base(&gic_data[0]) + GIC_DIST_SOFTINT);
GIC_DIST_SOFTINT  831 drivers/irqchip/irq-gic.c 	writel_relaxed(map << 16 | irq, gic_data_dist_base(&gic_data[0]) + GIC_DIST_SOFTINT);
GIC_DIST_SOFTINT  849 drivers/irqchip/irq-gic.c 	writel_relaxed((cpu_id << 16) | irq, gic_data_dist_base(&gic_data[0]) + GIC_DIST_SOFTINT);
GIC_DIST_SOFTINT  942 drivers/irqchip/irq-gic.c 						dist_base + GIC_DIST_SOFTINT);
GIC_DIST_SOFTINT  960 drivers/irqchip/irq-gic.c 	return gic_dist_physaddr + GIC_DIST_SOFTINT;
GIC_DIST_SOFTINT  301 drivers/irqchip/irq-hip04.c 	writel_relaxed(map << 8 | irq, hip04_data.dist_base + GIC_DIST_SOFTINT);
GIC_DIST_SOFTINT  440 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_LENGTH(GIC_DIST_SOFTINT,