if (ia64_reg_MCA_extension(mca_try_to_recover)){ 
if (ia64_reg_MCA_extension(mca_try_to_recover)) { 
int __init mca_external_handler_init(void){	if (init_record_index_pools())		return -ENOMEM;	/* register external mca handlers */	if (ia64_reg_MCA_extension(mca_try_to_recover)){			printk(KERN_ERR "ia64_reg_MCA_extension failed.\n");		kfree(slidx_pool.buffer);		return -EFAULT;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20305e59724381365096b6ab0a48054723367c80/mca_drv.c/buggy/arch/ia64/kernel/mca_drv.c