void pte_free_submit(struct pte_freelist_batch *batch) 
static void pte_free_submit(struct pte_freelist_batch *batch) 
void pte_free_submit(struct pte_freelist_batch *batch){	INIT_RCU_HEAD(&batch->rcu);	call_rcu(&batch->rcu, pte_free_rcu_callback);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e28f7faf05159f1cfd564596f5e6178edba6bd49/tlb.c/buggy/arch/ppc64/mm/tlb.c