223a224,229
> void
> setTime(Tick when)
> {
> assert(validPaddr || validAsidVaddr);
> time = when;
> }