MAP_VLPI 1427 drivers/irqchip/irq-gic-v3-its.c case MAP_VLPI: MAP_VLPI 164 drivers/irqchip/irq-gic-v4.c .cmd_type = MAP_VLPI,