Lines Matching refs:irq_pending_on_cpu
368 clear_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu); in vgic_dist_irq_clear_soft_pend()
1015 set_bit(c, dist->irq_pending_on_cpu); in vgic_update_state()
1307 clear_bit(vcpu_id, dist->irq_pending_on_cpu); in __kvm_vgic_flush_hwstate()
1458 set_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu); in __kvm_vgic_sync_hwstate()
1488 return test_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu); in kvm_vgic_vcpu_pending_irq()
1573 clear_bit(cpuid, dist->irq_pending_on_cpu); in vgic_update_irq_pending()
1599 set_bit(cpuid, dist->irq_pending_on_cpu); in vgic_update_irq_pending()
1947 kfree(dist->irq_pending_on_cpu); in kvm_vgic_destroy()
1953 dist->irq_pending_on_cpu = NULL; in kvm_vgic_destroy()
2001 dist->irq_pending_on_cpu = kzalloc(BITS_TO_LONGS(nr_cpus) * sizeof(long), in vgic_init()
2008 !dist->irq_pending_on_cpu || in vgic_init()