DESCHEDULE_VPE   2897 drivers/irqchip/irq-gic-v3-its.c 	case DESCHEDULE_VPE:
DESCHEDULE_VPE    147 drivers/irqchip/irq-gic-v4.c 	info.cmd_type = on ? SCHEDULE_VPE : DESCHEDULE_VPE;