kvmppc_set_epr
kvmppc_set_epr(vcpu, new_epr);
kvmppc_set_epr(vcpu, openpic_iack(opp, &opp->dst[cpu], cpu));
kvmppc_set_epr(vcpu, run->epr.epr);