its_get_vlpi       97 include/linux/irqchip/arm-gic-v4.h int its_get_vlpi(int irq, struct its_vlpi_map *map);
its_get_vlpi      359 virt/kvm/arm/vgic/vgic-its.c 		ret = its_get_vlpi(irq->host_irq, &map);