108,109c108,109
< a_type = TheISA::htog(type);
< a_val = TheISA::htog(val);
---
> a_type = X86ISA::htog(type);
> a_val = X86ISA::htog(val);
427c427
< uint64_t guestArgc = TheISA::htog(argc);
---
> uint64_t guestArgc = X86ISA::htog(argc);