Symbol: DESCHEDULE_VPE
drivers/irqchip/irq-gic-v3-its.c
4089
case DESCHEDULE_VPE:
drivers/irqchip/irq-gic-v3-its.c
4310
case DESCHEDULE_VPE:
drivers/irqchip/irq-gic-v4.c
242
info.cmd_type = DESCHEDULE_VPE;