Symbol: TCR_HA
arch/arm64/kvm/arm.c
2078
tcr &= ~(TCR_HD | TCR_HA | TCR_A1 | TCR_T0SZ_MASK);
arch/arm64/kvm/at.c
352
FIELD_GET(TCR_HA, tcr));
arch/arm64/kvm/hyp/include/hyp/switch.h
763
val &= ~(TCR_HD | TCR_HA);
tools/testing/selftests/kvm/arm64/at.c
80
sysreg_clear_set(tcr_el1, TCR_HA, 0);
tools/testing/selftests/kvm/arm64/at.c
92
sysreg_clear_set(tcr_el1, 0, TCR_HA);
tools/testing/selftests/kvm/arm64/page_fault_test.c
202
tcr = read_sysreg(tcr_el1) | TCR_HA;