SCTLR_ELx_ENIA
mov_q \tmp1, (SCTLR_ELx_ENIA | SCTLR_ELx_ENIB | \
sysreg_clear_set(sctlr_el1, 0, (SCTLR_ELx_ENIA | SCTLR_ELx_ENIB |
(SCTLR_ELx_ENIA | SCTLR_ELx_ENIB | SCTLR_ELx_ENDA | SCTLR_ELx_ENDB | \
if (tsk->thread.sctlr_user & SCTLR_ELx_ENIA)
sctlr_enxx_mask |= SCTLR_ELx_ENIA;
sysreg_clear_set(sctlr_el1, SCTLR_USER_MASK & ~SCTLR_ELx_ENIA, sctlr);