Searched refs:irq_cpu_id (Results 1 – 2 of 2) sorted by relevance
117 return vcpu ? vcpu->arch.irq_cpu_id : -1; in get_current_cpu()254 pr_debug("%s: cpu %d output %d\n", __func__, dst->vcpu->arch.irq_cpu_id, in mpic_irq_raise()272 pr_debug("%s: cpu %d output %d\n", __func__, dst->vcpu->arch.irq_cpu_id, in mpic_irq_lower()1179 int cpu = vcpu->arch.irq_cpu_id; in kvmppc_mpic_set_epr()1760 vcpu->arch.irq_cpu_id = cpu; in kvmppc_mpic_connect_vcpu()1779 BUG_ON(!opp->dst[vcpu->arch.irq_cpu_id].vcpu); in kvmppc_mpic_disconnect_vcpu()1781 opp->dst[vcpu->arch.irq_cpu_id].vcpu = NULL; in kvmppc_mpic_disconnect_vcpu()
804 int irq_cpu_id; member