Symbol: INVALL_VPE
drivers/irqchip/irq-gic-v3-its.c
4097
case INVALL_VPE:
drivers/irqchip/irq-gic-v3-its.c
4318
case INVALL_VPE:
drivers/irqchip/irq-gic-v4.c
304
.cmd_type = INVALL_VPE,