Searched refs:ips (Results 1 – 1 of 1) sorted by relevance
45 u64 ips, va_bits; in get_tcr() local55 ips = 5; in get_tcr()58 ips = 4; in get_tcr()61 ips = 3; in get_tcr()64 ips = 2; in get_tcr()67 ips = 1; in get_tcr()70 ips = 0; in get_tcr()75 tcr = TCR_EL1_RSVD | (ips << 32) | TCR_EPD1_DISABLE; in get_tcr()77 tcr = TCR_EL2_RSVD | (ips << 16); in get_tcr()79 tcr = TCR_EL3_RSVD | (ips << 16); in get_tcr()[all …]
Completed in 3 milliseconds