79,80c79,81
< ppc_vaddr = (Addr)tc->readIntReg(ArgumentReg1);
< timer_vaddr = (Addr)tc->readIntReg(ArgumentReg2);
---
> assert(NumArgumentRegs >= 3);
> ppc_vaddr = (Addr)tc->readIntReg(ArgumentReg[1]);
> timer_vaddr = (Addr)tc->readIntReg(ArgumentReg[2]);