Searched refs:pflush_tid (Results 1 – 1 of 1) sorted by relevance
1130 unsigned *pflush_tid) in __send_cap() argument1202 if (pflush_tid) in __send_cap()1203 *pflush_tid = flush_tid; in __send_cap()