__flush_tlb_page
__flush_tlb_page(vma, uaddr);
__flush_tlb_page(vma, address, TLBF_NOBROADCAST | TLBF_NONOTIFY)
__flush_tlb_page(vma, address, TLBF_NOSYNC);
__flush_tlb_page(vma, uaddr, TLBF_NONE);
extern void __flush_tlb_page(struct mm_struct *mm, unsigned long vmaddr,
__flush_tlb_page(vma->vm_mm, vmaddr, tsize, 0);
__flush_tlb_page(vma ? vma->vm_mm : NULL, vmaddr,
__flush_tlb_page(tlb->mm, start, tsize, 1);
__flush_tlb_page(tlb->mm, vpte, tsize, 0);
void __flush_tlb_page(unsigned long context, unsigned long vaddr);
__flush_tlb_page(CTX_HWBITS(mm->context), vaddr);
__flush_tlb_page(context, vaddr);