Waldemar Brodkorb d18a971e28 or1k: silence gcc warnings vor 7 Jahren
..
pt-machine.h d18a971e28 or1k: silence gcc warnings vor 7 Jahren