Symbol: TCR_EL2_PS_MASK
arch/arm64/include/asm/kvm_nested.h
20
return (u64)FIELD_GET(TCR_EL2_PS_MASK, tcr_el2) << TCR_IPS_SHIFT;
arch/arm64/kvm/arm.c
2084
tcr |= TCR_EL2_RES1 | FIELD_PREP(TCR_EL2_PS_MASK, ips);
arch/arm64/kvm/at.c
324
FIELD_GET(TCR_EL2_PS_MASK, tcr) : FIELD_GET(TCR_IPS_MASK, tcr));
arch/arm64/kvm/at.c
44
FIELD_GET(TCR_EL2_PS_MASK, tcr) :