Symbol: TCR_IPS_MASK
arch/arm64/kvm/arm.c
2081
unsigned long ips = FIELD_GET(TCR_IPS_MASK, tcr);
arch/arm64/kvm/at.c
324
FIELD_GET(TCR_EL2_PS_MASK, tcr) : FIELD_GET(TCR_IPS_MASK, tcr));
arch/arm64/kvm/at.c
45
FIELD_GET(TCR_IPS_MASK, tcr)) == 0b0110);