Searched refs:irq_pending_on_cpu (Results 1 – 2 of 2) sorted by relevance
990 set_bit(0, dist->irq_pending_on_cpu); in vgic_update_state()996 set_bit(c, dist->irq_pending_on_cpu); in vgic_update_state()1255 clear_bit(vcpu_id, dist->irq_pending_on_cpu); in __kvm_vgic_flush_hwstate()1374 set_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu); in __kvm_vgic_sync_hwstate()1404 return test_bit(vcpu->vcpu_id, dist->irq_pending_on_cpu); in kvm_vgic_vcpu_pending_irq()1516 set_bit(cpuid, dist->irq_pending_on_cpu); in vgic_update_irq_pending()1667 kfree(dist->irq_pending_on_cpu); in kvm_vgic_destroy()1672 dist->irq_pending_on_cpu = NULL; in kvm_vgic_destroy()1720 dist->irq_pending_on_cpu = kzalloc(BITS_TO_LONGS(nr_cpus) * sizeof(long), in vgic_init()1727 !dist->irq_pending_on_cpu || in vgic_init()
247 unsigned long *irq_pending_on_cpu; member