Symbol: SCTLR_RES1
sys/arm64/arm64/kexec_support.c
61
#define SCTLR_EL1_NO_MMU (SCTLR_RES1 | SCTLR_LSMAOE | SCTLR_nTLSMD | \
sys/arm64/vmm/vmm_reset.c
63
*hypctx_sys_reg(el2ctx, SCTLR_EL1) = SCTLR_RES1;