void ppc_store_msr_32 (CPUPPCState *env, uint32_t value)

{

    do_store_msr(env,

                 (do_load_msr(env) & ~0xFFFFFFFFULL) | (value & 0xFFFFFFFF));

}

void ppc_store_msr_32 (CPUPPCState *env, uint32_t value)

{

    do_store_msr(env,

                 (do_load_msr(env) & ~0xFFFFFFFFULL) | (value & 0xFFFFFFFF));

}

void ppc_store_msr_32 (CPUPPCState *env, uint32_t value)     do_store_msr(env,                  (do_load_msr(env) & ~0xFFFFFFFFULL) | (value & 0xFFFFFFFF));
void FUNC_0 (CPUPPCState *VAR_0, uint32_t VAR_1)

{

    do_store_msr(VAR_0,

                 (do_load_msr(VAR_0) & ~0xFFFFFFFFULL) | (VAR_1 & 0xFFFFFFFF));

}

void FUNC_0 (CPUPPCState *VAR_0, uint32_t VAR_1)
{ do_store_msr(VAR_0,
(do_load_msr(VAR_0) & ~0xFFFFFFFFULL) | (VAR_1 & 0xFFFFFFFF)); }