Symbol: SCTLR_CP15BEN
sys/arm64/include/armreg.h
2687
SCTLR_CP15BEN | \
sys/arm64/vmm/vmm_reset.c
82
el2ctx->sctlr_el1 |= SCTLR_CP15BEN;