TCR_EPD0_MASK - Linux

Symbol: TCR_EPD0_MASK

arch/arm64/kvm/at.c

(tcr & (va55 ? TCR_EPD1_MASK : TCR_EPD0_MASK)))

arch/arm64/kvm/hyp/include/hyp/sysreg-sr.h

TCR_EPD1_MASK | TCR_EPD0_MASK),

arch/arm64/kvm/hyp/nvhe/switch.c

write_sysreg_el1(val | TCR_EPD1_MASK | TCR_EPD0_MASK, SYS_TCR);

arch/arm64/kvm/hyp/nvhe/tlb.c

val |= TCR_EPD1_MASK | TCR_EPD0_MASK;

arch/arm64/kvm/hyp/vhe/tlb.c

val |= TCR_EPD1_MASK | TCR_EPD0_MASK;