Symbol: SCTLR_UCT
sys/arm64/arm64/identcpu.c
2355
READ_SPECIALREG(sctlr_el1) & ~SCTLR_UCT);
sys/arm64/include/armreg.h
2797
SCTLR_UCT | \