3c3
< // Copyright (c) 2010-2013,2017 ARM Limited
---
> // Copyright (c) 2010-2013,2017-2018 ARM Limited
649,651c649,651
< Addr size = 64;
< EA &= ~(size - 1);
< fault = xc->writeMem(NULL, size, EA, memAccessFlags, NULL);
---
> Addr op_size = xc->tcBase()->getSystemPtr()->cacheLineSize();
> EA &= ~(op_size - 1);
> fault = xc->writeMem(NULL, op_size, EA, memAccessFlags, NULL);
678,680c678,680
< Addr size = 64;
< EA &= ~(size - 1);
< fault = xc->writeMem(NULL, size, EA, memAccessFlags, NULL);
---
> Addr op_size = xc->tcBase()->getSystemPtr()->cacheLineSize();
> EA &= ~(op_size - 1);
> fault = xc->writeMem(NULL, op_size, EA, memAccessFlags, NULL);