/* Contributions from  on are considered under GPL version 2, or (at your option) any later version.  */
static void uc32_cpu_set_pc(CPUState *cs, vaddr value)
/* Contributions from  on are considered under GPL version 2, or (at your option) any later version.  */
static void uc32_cpu_set_pc(CPUState *cs, vaddr value)
{
    UniCore32CPU *cpu = UNICORE32_CPU(cs);
    cpu->env.regs[31] = value;
}