Symbol: TCR_TG0_MASK
arch/arm64/include/asm/kvm_arm.h
119
#define TCR_EL2_TG0_MASK TCR_TG0_MASK
arch/arm64/kvm/at.c
192
tg = FIELD_GET(TCR_TG0_MASK, tcr);