Searched refs:requester_vcpu (Results 1 – 1 of 1) sorted by relevance
562 struct kvm_vcpu *requester_vcpu = kvm_get_running_vcpu(); in vgic_mmio_change_active() local567 vgic_hw_irq_change_active(vcpu, irq, active, !requester_vcpu); in vgic_mmio_change_active()592 active_source = (requester_vcpu) ? requester_vcpu->vcpu_id : 0; in vgic_mmio_change_active()