Symbol: TCR_DS
sys/arm64/arm64/pmap.c
1260
if ((tcr & TCR_DS) != 0)
sys/arm64/vmm/vmm_arm64.c
402
if ((READ_SPECIALREG(tcr_el1) & TCR_DS) != 0) {