Searched refs:irq_spi_cpu (Results 1 – 4 of 4) sorted by relevance
307 dist->irq_spi_cpu[spi] = vcpu_id; in handle_mmio_route_reg()311 dist->irq_spi_cpu[spi] = VCPU_NOT_ALLOCATED; in handle_mmio_route_reg()813 dist->irq_spi_cpu[i - VGIC_NR_PRIVATE_IRQS] = 0; in vgic_v3_init_model()
1472 cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS]; in vgic_update_irq_pending()1664 kfree(dist->irq_spi_cpu); in kvm_vgic_destroy()1670 dist->irq_spi_cpu = NULL; in kvm_vgic_destroy()1717 dist->irq_spi_cpu = kzalloc(nr_irqs - VGIC_NR_PRIVATE_IRQS, GFP_KERNEL); in vgic_init()1725 !dist->irq_spi_cpu || in vgic_init()
149 val |= 1 << (dist->irq_spi_cpu[irq + i] + i * 8); in vgic_get_target_reg()174 dist->irq_spi_cpu[irq + i] = target; in vgic_set_target_reg()
233 u8 *irq_spi_cpu; member