Searched refs:flush_tsb_user_page (Results 1 – 3 of 3) sorted by relevance
20 extern void flush_tsb_user_page(struct mm_struct *mm, unsigned long vaddr);
118 flush_tsb_user_page(mm, vaddr); in tlb_batch_add()
96 void flush_tsb_user_page(struct mm_struct *mm, unsigned long vaddr) in flush_tsb_user_page() function