Symbol: GICV5_GIC_CDDI_TYPE_MASK
arch/arm64/kvm/vgic/vgic-v3.c
141
gic_insn(intid | FIELD_PREP(GICV5_GIC_CDDI_TYPE_MASK, 1), CDDI);
drivers/irqchip/irq-gic-v5.c
218
FIELD_PREP(GICV5_GIC_CDDI_TYPE_MASK, hwirq_type);