Searched refs:VGIC_NR_SGIS (Results 1 – 4 of 4) sorted by relevance
30 #define VGIC_NR_SGIS 16 macro32 #define VGIC_NR_PRIVATE_IRQS (VGIC_NR_SGIS + VGIC_NR_PPIS)
40 return dist->irq_sgi_sources + vcpu_id * VGIC_NR_SGIS + sgi; in vgic_get_sgi_sources()396 .len = VGIC_NR_SGIS,401 .len = VGIC_NR_SGIS,
678 if (lr.irq < VGIC_NR_SGIS) in vgic_unqueue_irqs()1138 BUG_ON(sgi_source_id && irq >= VGIC_NR_SGIS); in vgic_queue_irq()1224 for_each_set_bit(i, pa_percpu, VGIC_NR_SGIS) { in __kvm_vgic_flush_hwstate()1716 dist->irq_sgi_sources = kzalloc(nr_cpus * VGIC_NR_SGIS, GFP_KERNEL); in vgic_init()
666 if (irq_num < VGIC_NR_SGIS || irq_num >= VGIC_NR_PRIVATE_IRQS) in kvm_vm_ioctl_irq_line()