SCTLR_M
SCTLR_M)
if ((hypctx->sctlr_el1 & SCTLR_M) != 0)
el2ctx->sctlr_el1 &= ~SCTLR_M & ~SCTLR_C & ~SCTLR_I;
if ((regs[4] & SCTLR_M) != 0)