#ifdef CONFIG_HAVE_RCU_TABLE_FREE tlb_table_flush(tlb); #endif __tlb_reset_range(tlb); }static void tlb_flush_mmu_free(struct mmu_gather *tlb) { struct mmu_gather_batch *batch;#ifdef CONFIG_HAVE_RCU_TABLE_FREE tlb_table_flush(tlb); ...