Symbol: TCR_EPD1_MASK
arch/arm64/include/asm/pgtable-hwdef.h
238
#define TCR_EPD1_MASK TCR_EL1_EPD1_MASK
tools/testing/selftests/kvm/include/arm64/processor.h
94
#define TCR_EPD1_MASK (UL(1) << TCR_EPD1_SHIFT)