Symbol: SCTLR_CP15BEN
sys/arm64/include/armreg.h
2801
SCTLR_CP15BEN | \
sys/arm64/vmm/vmm_reset.c
65
*hypctx_sys_reg(el2ctx, SCTLR_EL1) |= SCTLR_CP15BEN;