GICD_CTLR_DS      874 drivers/irqchip/irq-gic-v3.c 	return readl_relaxed(gic_data.dist_base + GICD_CTLR) & GICD_CTLR_DS;
GICD_CTLR_DS       71 virt/kvm/arm/vgic/vgic-mmio-v3.c 		value |= GICD_CTLR_ARE_NS | GICD_CTLR_DS;