void helper_rfci(CPUPPCState *env)

{

    do_rfi(env, env->spr[SPR_BOOKE_CSRR0], SPR_BOOKE_CSRR1,

           ~((target_ulong)0x3FFF0000), 0);

}

void helper_rfci(CPUPPCState *env)

{

    do_rfi(env, env->spr[SPR_BOOKE_CSRR0], SPR_BOOKE_CSRR1,

           ~((target_ulong)0x3FFF0000), 0);

}

    do_rfi(env, env->spr[SPR_BOOKE_CSRR0], SPR_BOOKE_CSRR1,            ~((target_ulong)0x3FFF0000), 0);            ~((target_ulong)0x3FFF0000), 0);            ~((target_ulong)0x3FFF0000), 0);
void FUNC_0(CPUPPCState *VAR_0)

{

    do_rfi(VAR_0, VAR_0->spr[SPR_BOOKE_CSRR0], SPR_BOOKE_CSRR1,

           ~((target_ulong)0x3FFF0000), 0);

}

void FUNC_0(CPUPPCState *VAR_0)
{ do_rfi(VAR_0, VAR_0->spr[SPR_BOOKE_CSRR0], SPR_BOOKE_CSRR1,
~((target_ulong)0x3FFF0000), 0); }