Symbol: SCTLR_SPAN
sys/arm64/arm64/machdep.c
198
READ_SPECIALREG(sctlr_el1) & ~SCTLR_SPAN);
sys/arm64/include/armreg.h
2793
SCTLR_SPAN | \
sys/arm64/vmm/vmm_arm64.c
1154
SCTLR_SPAN) == 0)