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