Searched refs:requester_vcpu (Results 1 – 1 of 1) sorted by relevance
312 struct kvm_vcpu *requester_vcpu = vgic_get_mmio_requester_vcpu(); in vgic_mmio_change_active() local333 irq->vcpu != requester_vcpu && /* Current thread is not the VCPU thread */ in vgic_mmio_change_active()338 vgic_hw_irq_change_active(vcpu, irq, active, !requester_vcpu); in vgic_mmio_change_active()345 irq->active_source = requester_vcpu->vcpu_id; in vgic_mmio_change_active()
