Waldemar Brodkorb d18a971e28 or1k: silence gcc warnings %!s(int64=7) %!d(string=hai) anos
..
pt-machine.h d18a971e28 or1k: silence gcc warnings %!s(int64=7) %!d(string=hai) anos