2c2
< * Copyright (c) 2010-2013, 2016 ARM Limited
---
> * Copyright (c) 2010-2013, 2016-2017 ARM Limited
645c645,648
< if (is_fetch)
---
> if (is_fetch) {
> // Use PC value instead of vaddr because vaddr might
> // be aligned to cache line and should not be the
> // address reported in FAR
647c650
< vaddr,
---
> req->getPC(),
650c653
< else
---
> } else
737a741,742
> // Use PC value instead of vaddr because vaddr might be aligned to
> // cache line and should not be the address reported in FAR
739c744
< vaddr,
---
> req->getPC(),