Lines Matching defs:ips
40 u64 ips, va_bits;
50 ips = 5;
53 ips = 4;
56 ips = 3;
59 ips = 2;
62 ips = 1;
65 ips = 0;
70 tcr = TCR_EL1_RSVD | (ips << 32) | TCR_EPD1_DISABLE;
72 tcr = TCR_EL2_RSVD | (ips << 16);
74 tcr = TCR_EL3_RSVD | (ips << 16);
82 *pips = ips;
