86c86
< return new PrefetchAbort(xc->readPC(), ArmFault::DebugEvent);
---
> return new PrefetchAbort(xc->pcState().pc(), ArmFault::DebugEvent);