559c559
< if (te->nonCacheable)
---
> if (te->nonCacheable) {
561a562,567
> // Prevent prefetching from I/O devices.
> if (req->isPrefetch()) {
> return new PrefetchAbort(vaddr, ArmFault::PrefetchUncacheable);
> }
> }
>