Symbol: TCR_SH0_MASK
arch/arm64/include/asm/kvm_arm.h
120
#define TCR_EL2_SH0_MASK TCR_SH0_MASK
arch/arm64/kvm/at.c
291
FIELD_GET(TCR_SH0_MASK, tcr)));