Waldemar Brodkorb d18a971e28 or1k: silence gcc warnings il y a 7 ans
..
pt-machine.h d18a971e28 or1k: silence gcc warnings il y a 7 ans