Searched refs:flush_tsb_user (Results 1 – 3 of 3) sorted by relevance
19 extern void flush_tsb_user(struct tlb_batch *tb);
32 flush_tsb_user(tb); in flush_tlb_pending()
71 void flush_tsb_user(struct tlb_batch *tb) in flush_tsb_user() function