158a159,164
> inline ExceptionLevel
> currEL(CPSR cpsr)
> {
> return opModeToEL((OperatingMode) (uint8_t)cpsr.mode);
> }
>