Searched refs:flush_tsb_user_page (Results 1 – 3 of 3) sorted by relevance
20 void flush_tsb_user_page(struct mm_struct *mm, unsigned long vaddr, bool huge);
87 flush_tsb_user_page(mm, vaddr, huge); in tlb_batch_add_one()
98 void flush_tsb_user_page(struct mm_struct *mm, unsigned long vaddr, bool huge) in flush_tsb_user_page() function