static void aarch64_cpu_set_pc(CPUState *cs, vaddr value)

{

    ARMCPU *cpu = ARM_CPU(cs);

    /*

     * TODO: this will need updating for system emulation,

     * when the core may be in AArch32 mode.

     */

    cpu->env.pc = value;

}

static void aarch64_cpu_set_pc(CPUState *cs, vaddr value)

{

    ARMCPU *cpu = ARM_CPU(cs);

    







    cpu->env.pc = value;

}

    cpu->env.pc = value;
static void FUNC_0(CPUState *VAR_0, vaddr VAR_1)

{

    ARMCPU *cpu = ARM_CPU(VAR_0);

    







    cpu->env.pc = VAR_1;

}

static void FUNC_0(CPUState *VAR_0, vaddr VAR_1)
{ ARMCPU *cpu = ARM_CPU(VAR_0); cpu->env.pc = VAR_1; }