__flush_tsb_one_entry
__flush_tsb_one_entry(tsb, v + (i << hash_shift), hash_shift,
__flush_tsb_one_entry(base, vaddr, PAGE_SHIFT,
__flush_tsb_one_entry(tsb, tb->vaddrs[i], hash_shift, nentries);