Waldemar Brodkorb d18a971e28 or1k: silence gcc warnings 7 éve
..
pt-machine.h d18a971e28 or1k: silence gcc warnings 7 éve