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