2c2
< * Copyright (c) 2009, 2012-2013, 2016 ARM Limited
---
> * Copyright (c) 2009, 2012-2013, 2016, 2019 ARM Limited
61c61
< ExceptionLevel el = (ExceptionLevel) ((uint32_t) cpsr.el);
---
> ExceptionLevel el = currEL(tc);