84a85,86
> void resendNacked(Packet *pkt);
>
116c118
< PioPort(PioDevice *dev, Platform *p);
---
> PioPort(PioDevice *dev, Platform *p, std::string pname = "-pioport");