#ifdef CONFIG_PPC_64K_PAGES extern unsigned int *ht64_call_hpte_insert1; extern unsigned int *ht64_call_hpte_insert2; extern unsigned int *ht64_call_hpte_remove; extern unsigned int *ht64_call_hpte_updatepp;  make_bl(ht64_call_hpte_insert1, ppc_md.hpte_insert); make_bl(ht64_call_hpte_insert2, ppc_md.hpte_insert); make_bl(ht64_call_hpte_remove, ppc_md.hpte_remove); make_bl(ht64_call_hpte_updatepp, ppc_md.hpte_updatepp); #endif /* CONFIG_PPC_64K_PAGES */  
void __init htab_finish_init(void){	extern unsigned int *htab_call_hpte_insert1;	extern unsigned int *htab_call_hpte_insert2;	extern unsigned int *htab_call_hpte_remove;	extern unsigned int *htab_call_hpte_updatepp;	make_bl(htab_call_hpte_insert1, ppc_md.hpte_insert);	make_bl(htab_call_hpte_insert2, ppc_md.hpte_insert);	make_bl(htab_call_hpte_remove, ppc_md.hpte_remove);	make_bl(htab_call_hpte_updatepp, ppc_md.hpte_updatepp);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3c726f8dee6f55e96475574e9f645327e461884c/hash_utils_64.c/buggy/arch/powerpc/mm/hash_utils_64.c