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