49a50,53
> VirtualPort *vp;
>
> vp = tc->getVirtPort();
>
52c56
< thread_info_size = gtoh(tc->getVirtPort()->read<int32_t>(addr));
---
> thread_info_size = vp->readGtoH<int32_t>(addr);
56c60
< task_struct_size = gtoh(tc->getVirtPort()->read<int32_t>(addr));
---
> task_struct_size = vp->readGtoH<int32_t>(addr);
60c64
< task_off = gtoh(tc->getVirtPort()->read<int32_t>(addr));
---
> task_off = vp->readGtoH<int32_t>(addr);
64c68
< pid_off = gtoh(tc->getVirtPort()->read<int32_t>(addr));
---
> pid_off = vp->readGtoH<int32_t>(addr);
68c72,74
< name_off = gtoh(tc->getVirtPort()->read<int32_t>(addr));
---
> name_off = vp->readGtoH<int32_t>(addr);
>
> tc->delVirtPort(vp);
78c84,92
< return gtoh(tc->getVirtPort()->read<Addr>(base + task_off));
---
> Addr tsk;
>
> VirtualPort *vp;
>
> vp = tc->getVirtPort();
> tsk = vp->readGtoH<Addr>(base + task_off);
> tc->delVirtPort(vp);
>
> return tsk;
88c102,110
< return gtoh(tc->getVirtPort()->read<uint16_t>(task + pid_off));
---
> uint16_t pd;
>
> VirtualPort *vp;
>
> vp = tc->getVirtPort();
> pd = vp->readGtoH<uint16_t>(task + pid_off);
> tc->delVirtPort(vp);
>
> return pd;