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