2c2
< * Copyright (c) 2010-2013, 2016-2017 ARM Limited
---
> * Copyright (c) 2010-2013, 2016-2018 ARM Limited
1476,1477c1476,1477
< if ((s2Te != NULL) && (fault = NoFault)) {
< if(aarch64)
---
> if ((s2Te != NULL) && (fault == NoFault)) {
> if (aarch64)