■

コマンドラインオプション変えたりぐぐったりmplayerを新しくしたりしてなんとかWMA再生できないか試行錯誤してみましたがどうやらダメっぽい。
そもそもデコーダのffwmav2が固定小数点化されてないので浮動小数点命令持たないXScaleではどうにもならなそうであるというのが調べた結論。
んー、残念。KWINSと相俟って通勤中に某Webラジオとか聞けると思ったのに。