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,