SCTLR_ELx_ENDB
SCTLR_ELx_ENDA | SCTLR_ELx_ENDB)
SCTLR_ELx_ENDA | SCTLR_ELx_ENDB));
(SCTLR_ELx_ENIA | SCTLR_ELx_ENIB | SCTLR_ELx_ENDA | SCTLR_ELx_ENDB | \
if (tsk->thread.sctlr_user & SCTLR_ELx_ENDB)
sctlr_enxx_mask |= SCTLR_ELx_ENDB;