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