Symbol: TCR_E0PD1
sys/arm64/arm64/identcpu.c
2927
tcr |= TCR_E0PD1;
sys/arm64/vmm/vmm_arm64.c
896
if (is_el0 && (paging->tcr_el1 & TCR_E0PD1) != 0) {