Searched refs:flush_tsb_user (Results 1 – 3 of 3) sorted by relevance
20 void flush_tsb_user(struct tlb_batch *tb);
31 flush_tsb_user(tb); in flush_tlb_pending()
119 void flush_tsb_user(struct tlb_batch *tb) in flush_tsb_user() function