void cpu_ppc_store_hdecr (CPUPPCState *env, uint32_t value)

{

    PowerPCCPU *cpu = ppc_env_get_cpu(env);



    _cpu_ppc_store_hdecr(cpu, cpu_ppc_load_hdecr(env), value, 0);

}

void cpu_ppc_store_hdecr (CPUPPCState *env, uint32_t value)

{

    PowerPCCPU *cpu = ppc_env_get_cpu(env);



    _cpu_ppc_store_hdecr(cpu, cpu_ppc_load_hdecr(env), value, 0);

}

void FUNC_0 (CPUPPCState *VAR_0, uint32_t VAR_1)

{

    PowerPCCPU *cpu = ppc_env_get_cpu(VAR_0);



    _cpu_ppc_store_hdecr(cpu, cpu_ppc_load_hdecr(VAR_0), VAR_1, 0);

}

void FUNC_0 (CPUPPCState *VAR_0, uint32_t VAR_1)
{ PowerPCCPU *cpu = ppc_env_get_cpu(VAR_0); _cpu_ppc_store_hdecr(cpu, cpu_ppc_load_hdecr(VAR_0), VAR_1, 0); }