Lines Matching defs:intids
324 u32 *intids;
335 intids = kmalloc_array(irq_count, sizeof(intids[0]), GFP_KERNEL);
336 if (!intids)
346 intids[i++] = irq->intid;
350 *intid_ptr = intids;
434 u32 *intids;
439 nr_irqs = vgic_copy_lpi_list(vcpu->kvm, vcpu, &intids);
446 byte_offset = intids[i] / BITS_PER_BYTE;
447 bit_nr = intids[i] % BITS_PER_BYTE;
458 kfree(intids);
464 irq = vgic_get_irq(vcpu->kvm, NULL, intids[i]);
471 kfree(intids);
1314 u32 *intids;
1323 irq_count = vgic_copy_lpi_list(kvm, vcpu, &intids);
1328 irq = vgic_get_irq(kvm, NULL, intids[i]);
1335 kfree(intids);
1358 u32 *intids;
1371 irq_count = vgic_copy_lpi_list(kvm, vcpu1, &intids);
1376 irq = vgic_get_irq(kvm, NULL, intids[i]);
1385 kfree(intids);