Searched refs:vgic_nr_shared_irqs (Results 1 – 1 of 1) sorted by relevance
933 static int vgic_nr_shared_irqs(struct vgic_dist *dist) in vgic_nr_shared_irqs() function943 int nr_shared = vgic_nr_shared_irqs(dist); in compute_active_for_cpu()973 int nr_shared = vgic_nr_shared_irqs(dist); in compute_pending_for_cpu()1000 pending_shared < vgic_nr_shared_irqs(dist)); in compute_pending_for_cpu()1256 int nr_shared = vgic_nr_shared_irqs(dist); in __kvm_vgic_flush_hwstate()