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