GICR_VPENDBASER_IDAI 2845 drivers/irqchip/irq-gic-v3-its.c 	val |= vpe->idai ? GICR_VPENDBASER_IDAI : 0;
GICR_VPENDBASER_IDAI 2862 drivers/irqchip/irq-gic-v3-its.c 		vpe->idai = !!(val & GICR_VPENDBASER_IDAI);