new_epr 1736 arch/powerpc/kvm/booke.c u32 new_epr = set_reg_val(id, *val); new_epr 1737 arch/powerpc/kvm/booke.c kvmppc_set_epr(vcpu, new_epr);