49a50
> #include "debug/Thread.hh"
79c80
< virtPort.writeBlob(CommandLine(), (uint8_t*)params()->boot_osflags.c_str(),
---
> virtPort->writeBlob(CommandLine(), (uint8_t*)params()->boot_osflags.c_str(),
88c89
< virtPort.write(addr, (uint64_t)(SimClock::Frequency /
---
> virtPort->write(addr, (uint64_t)(SimClock::Frequency /
98c99
< virtPort.write(addr + 0x18, LittleEndianGuest::htog((uint32_t)127));
---
> virtPort->write(addr + 0x18, LittleEndianGuest::htog((uint32_t)127));