SCTLR_ELx_DSSBS
sysreg_clear_set(sctlr_el1, 0, SCTLR_ELx_DSSBS);
if (sctlr & SCTLR_ELx_DSSBS)
tmp |= SCTLR_ELx_DSSBS;