Searched refs:irq_spi_cpu (Results 1 – 4 of 4) sorted by relevance
331 dist->irq_spi_cpu[spi] = vcpu_id; in handle_mmio_route_reg()335 dist->irq_spi_cpu[spi] = VCPU_NOT_ALLOCATED; in handle_mmio_route_reg()857 dist->irq_spi_cpu[i - VGIC_NR_PRIVATE_IRQS] = 0; in vgic_v3_init_model()
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()
1551 cpuid = dist->irq_spi_cpu[irq_num - VGIC_NR_PRIVATE_IRQS]; in vgic_update_irq_pending()1944 kfree(dist->irq_spi_cpu); in kvm_vgic_destroy()1951 dist->irq_spi_cpu = NULL; in kvm_vgic_destroy()1998 dist->irq_spi_cpu = kzalloc(nr_irqs - VGIC_NR_PRIVATE_IRQS, GFP_KERNEL); in vgic_init()2006 !dist->irq_spi_cpu || in vgic_init()
244 u8 *irq_spi_cpu; member