GET_VLPI         1430 drivers/irqchip/irq-gic-v3-its.c 	case GET_VLPI:
GET_VLPI          187 drivers/irqchip/irq-gic-v4.c 		.cmd_type = GET_VLPI,