Searched refs:irq_pending_on_cpu (Results 1 – 2 of 2) sorted by relevance
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()[all …]
258 unsigned long *irq_pending_on_cpu; member