Symbol: TCR_HA
sys/arch/aarch64/aarch64/cpufunc.c
534
reg_tcr_el1_write(tcr | TCR_HA);
sys/arch/aarch64/aarch64/cpufunc.c
539
reg_tcr_el1_write(tcr | TCR_HD | TCR_HA);