void OPPROTO op_store_msr (void)

{

    do_store_msr(env, T0);

    RETURN();

}

void OPPROTO op_store_msr (void)

{

    do_store_msr(env, T0);

    RETURN();

}

    do_store_msr(env, T0);
void VAR_0 op_store_msr (void)

{

    do_store_msr(env, T0);

    RETURN();

}

void VAR_0 op_store_msr (void)
{ do_store_msr(env, T0); RETURN(); }