GIC_DIST_SGI_PENDING_SET  935 drivers/irqchip/irq-gic.c 		val = readl_relaxed(dist_base + GIC_DIST_SGI_PENDING_SET + i);
GIC_DIST_SGI_PENDING_SET  446 virt/kvm/arm/vgic/vgic-mmio-v2.c 	REGISTER_DESC_WITH_LENGTH(GIC_DIST_SGI_PENDING_SET,