pte_free(batch->pages[i]); 
pgtable_free(batch->tables[i]);  
static void pte_free_rcu_callback(struct rcu_head *head){	struct pte_freelist_batch *batch =		container_of(head, struct pte_freelist_batch, rcu);	unsigned int i;	for (i = 0; i < batch->index; i++)		pte_free(batch->pages[i]);	free_page((unsigned long)batch);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e28f7faf05159f1cfd564596f5e6178edba6bd49/tlb.c/clean/arch/ppc64/mm/tlb.c