2c2
< * Copyright (c) 2010-2013 ARM Limited
---
> * Copyright (c) 2010-2013, 2016 ARM Limited
723c723
< (te->longDescFormat && te->pxn && !is_priv) ||
---
> (te->longDescFormat && te->pxn && is_priv) ||