754a755
> _status = Running;
808,813c809,813
< if (_status != Running) {
< // instruction will complete in dcache response callback
< assert(_status == DcacheWaitResponse ||
< _status == DcacheRetry || DTBWaitResponse);
< assert(fault == NoFault);
< } else {
---
>
> // If we're not running now the instruction will complete in a dcache
> // response callback or the instruction faulted and has started an
> // ifetch
> if (_status == Running) {