Searched refs:pflush_tid (Results 1 – 1 of 1) sorted by relevance
1070 unsigned *pflush_tid) in __send_cap() argument1141 if (pflush_tid) in __send_cap()1142 *pflush_tid = flush_tid; in __send_cap()