Searched refs:TCR_T0SZ (Results 1 – 2 of 2) sorted by relevance
145 #define TCR_T0SZ(x) ((64 - (x)) << TCR_T0SZ_SHIFT) macro
948 tcr |= TCR_T0SZ(va_bits); in get_tcr()