Searched refs:pva_bits (Results 1 – 2 of 2) sorted by relevance
37 u64 get_tcr(int el, u64 *pips, u64 *pva_bits) in get_tcr() argument83 if (pva_bits) in get_tcr()84 *pva_bits = va_bits; in get_tcr()
134 u64 get_tcr(int el, u64 *pips, u64 *pva_bits);