Symbol: effective_tcr2
arch/arm64/kvm/at.c
119
return effective_tcr2(vcpu, regime) & TCR2_EL1_PIE;
arch/arm64/kvm/at.c
131
val = effective_tcr2(vcpu, wi->regime);