Searched refs:pva_bits (Results 1 – 2 of 2) sorted by relevance
38 u64 get_tcr(int el, u64 *pips, u64 *pva_bits) in get_tcr() argument84 if (pva_bits) in get_tcr()85 *pva_bits = va_bits; in get_tcr()
135 u64 get_tcr(int el, u64 *pips, u64 *pva_bits);