spider_init_IRQ(); 
static void __init bpa_setup_arch(void){#ifdef CONFIG_SMP	smp_init_pSeries();#endif	/* init to some ~sane value until calibrate_delay() runs */	loops_per_jiffy = 50000000;	if (ROOT_DEV == 0) {		printk("No ramdisk, default root is /dev/hda2\n");		ROOT_DEV = Root_HDA2;	}	/* Find and initialize PCI host bridges */	init_pci_config_tokens();	find_and_init_phbs();#ifdef CONFIG_DUMMY_CONSOLE	conswitchp = &dummy_con;#endif	bpa_nvram_init();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cebf589c822b5de87098b57644024d16f8dbc1bb/bpa_setup.c/buggy/arch/ppc64/kernel/bpa_setup.c