reload_tlb_page    41 arch/nios2/include/asm/tlbflush.h extern void reload_tlb_page(struct vm_area_struct *vma, unsigned long addr,
reload_tlb_page   208 arch/nios2/mm/cacheflush.c 	reload_tlb_page(vma, address, pte);