325 	int irq_count, i = 0;  in vgic_copy_lpi_list()  local
334 	irq_count = READ_ONCE(dist->lpi_list_count);  in vgic_copy_lpi_list()
335 	intids = kmalloc_array(irq_count, sizeof(intids[0]), GFP_KERNEL);  in vgic_copy_lpi_list()
341 		if (i == irq_count)  in vgic_copy_lpi_list()
1310 	int irq_count, i;  in vgic_its_cmd_handle_invall()  local
1318 	irq_count = vgic_copy_lpi_list(kvm, vcpu, &intids);  in vgic_its_cmd_handle_invall()
1319 	if (irq_count < 0)  in vgic_its_cmd_handle_invall()
1320 		return irq_count;  in vgic_its_cmd_handle_invall()
1322 	for (i = 0; i < irq_count; i++) {  in vgic_its_cmd_handle_invall()
1354 	int irq_count, i;  in vgic_its_cmd_handle_movall()  local
1366 	irq_count = vgic_copy_lpi_list(kvm, vcpu1, &intids);  in vgic_its_cmd_handle_movall()
1367 	if (irq_count < 0)  in vgic_its_cmd_handle_movall()
1368 		return irq_count;  in vgic_its_cmd_handle_movall()
1370 	for (i = 0; i < irq_count; i++) {  in vgic_its_cmd_handle_movall()