yeah, mplayer most probably uses codecs different from the ones used in gstreamer framework (some of which are implemented using DSP)...