/* Called at the end of a mmu_gather operation to make sure the TLB flush is completely done.  */
void tlb_flush(struct mmu_gather *tlb)
/* Called at the end of a mmu_gather operation to make sure the TLB flush is completely done.  */
void tlb_flush(struct mmu_gather *tlb)
{
	if (Hash == 0) {
		_tlbia();
	}
	pte_free_finish();
}