tree 608cc317281bbfe8385c846774707a5296931d27
parent 15aa4f7dd0f8ee5ebcc290b25b2f63fea1a031e9
author David 'Digit' Turner <digit@google.com> 1403793811 +0200
committer David 'Digit' Turner <digit@google.com> 1405690852 +0200

target-mips/translate.c: minor upstream integration

Change-Id: I7d10bd84950651765e8989803c0a3f669548bfd0