openpic_iack
kvmppc_set_epr(vcpu, openpic_iack(opp, &opp->dst[cpu], cpu));
retval = openpic_iack(opp, dst, idx);