Waldemar Brodkorb d18a971e28 or1k: silence gcc warnings hace 7 años
..
pt-machine.h d18a971e28 or1k: silence gcc warnings hace 7 años