void OPPROTO op_store_msr_32 (void)

{

    ppc_store_msr_32(env, T0);

    RETURN();

}

void OPPROTO op_store_msr_32 (void)

{

    ppc_store_msr_32(env, T0);

    RETURN();

}

    ppc_store_msr_32(env, T0);
void VAR_0 op_store_msr_32 (void)

{

    ppc_store_msr_32(env, T0);

    RETURN();

}

void VAR_0 op_store_msr_32 (void)
{ ppc_store_msr_32(env, T0); RETURN(); }