2c2
< * Copyright (c) 2011-2012 ARM Limited
---
> * Copyright (c) 2011-2013 ARM Limited
81,82c81,82
< physProxy(_systemPort),
< virtProxy(_systemPort),
---
> physProxy(_systemPort, p->cache_line_size),
> virtProxy(_systemPort, p->cache_line_size),
86a87
> _cacheLineSize(p->cache_line_size),
102a104,108
> // check if the cache line size is a value known to work
> if (!(_cacheLineSize == 16 || _cacheLineSize == 32 ||
> _cacheLineSize == 64 || _cacheLineSize == 128))
> warn_once("Cache line size is neither 16, 32, 64 nor 128 bytes.\n");
>