324 	u32 *intids;  in vgic_copy_lpi_list()  local
335 	intids = kmalloc_array(irq_count, sizeof(intids[0]), GFP_KERNEL);  in vgic_copy_lpi_list()
336 	if (!intids)  in vgic_copy_lpi_list()
346 		intids[i++] = irq->intid;  in vgic_copy_lpi_list()
350 	*intid_ptr = intids;  in vgic_copy_lpi_list()
434 	u32 *intids;  in its_sync_lpi_pending_table()  local
439 	nr_irqs = vgic_copy_lpi_list(vcpu->kvm, vcpu, &intids);  in its_sync_lpi_pending_table()
446 		byte_offset = intids[i] / BITS_PER_BYTE;  in its_sync_lpi_pending_table()
447 		bit_nr = intids[i] % BITS_PER_BYTE;  in its_sync_lpi_pending_table()
458 				kfree(intids);  in its_sync_lpi_pending_table()
464 		irq = vgic_get_irq(vcpu->kvm, NULL, intids[i]);  in its_sync_lpi_pending_table()
471 	kfree(intids);  in its_sync_lpi_pending_table()
1309 	u32 *intids;  in vgic_its_cmd_handle_invall()  local
1318 	irq_count = vgic_copy_lpi_list(kvm, vcpu, &intids);  in vgic_its_cmd_handle_invall()
1323 		irq = vgic_get_irq(kvm, NULL, intids[i]);  in vgic_its_cmd_handle_invall()
1330 	kfree(intids);  in vgic_its_cmd_handle_invall()
1353 	u32 *intids;  in vgic_its_cmd_handle_movall()  local
1366 	irq_count = vgic_copy_lpi_list(kvm, vcpu1, &intids);  in vgic_its_cmd_handle_movall()
1371 		irq = vgic_get_irq(kvm, NULL, intids[i]);  in vgic_its_cmd_handle_movall()
1380 	kfree(intids);  in vgic_its_cmd_handle_movall()