if (cur_cpu_spec->firmware_features & FW_FEATURE_SPLPAR) { 
if (ppc64_firmware_features & FW_FEATURE_SPLPAR) { 
static void __init pSeries_setup_arch(void){	/* Fixup ppc_md depending on the type of interrupt controller */	if (ppc64_interrupt_controller == IC_OPEN_PIC) {		ppc_md.init_IRQ       = pSeries_init_mpic;		ppc_md.get_irq        = mpic_get_irq;	 	ppc_md.cpu_irq_down   = mpic_teardown_this_cpu;		/* Allocate the mpic now, so that find_and_init_phbs() can		 * fill the ISUs */		pSeries_setup_mpic();	} else {		ppc_md.init_IRQ       = xics_init_IRQ;		ppc_md.get_irq        = xics_get_irq;		ppc_md.cpu_irq_down   = xics_teardown_cpu;	}#ifdef CONFIG_SMP	smp_init_pSeries();#endif	/* openpic global configuration register (64-bit format). */	/* openpic Interrupt Source Unit pointer (64-bit format). */	/* python0 facility area (mmio) (64-bit format) REAL address. */	/* init to some ~sane value until calibrate_delay() runs */	loops_per_jiffy = 50000000;	if (ROOT_DEV == 0) {		printk("No ramdisk, default root is /dev/sda2\n");		ROOT_DEV = Root_SDA2;	}	fwnmi_init();	/* Find and initialize PCI host bridges */	init_pci_config_tokens();	eeh_init();	find_and_init_phbs();#ifdef CONFIG_DUMMY_CONSOLE	conswitchp = &dummy_con;#endif	pSeries_nvram_init();	if (cur_cpu_spec->firmware_features & FW_FEATURE_SPLPAR)		vpa_init(boot_cpuid);	/* Choose an idle loop */	if (cur_cpu_spec->firmware_features & FW_FEATURE_SPLPAR) {		if (get_paca()->lppaca.shared_proc) {			printk(KERN_INFO "Using shared processor idle loop\n");			ppc_md.idle_loop = pseries_shared_idle;		} else {			printk(KERN_INFO "Using dedicated idle loop\n");			ppc_md.idle_loop = pseries_dedicated_idle;		}	} else {		printk(KERN_INFO "Using default idle loop\n");		ppc_md.idle_loop = default_idle;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7a6af5e38054d8e658a4b1b703902331a845de1a/pSeries_setup.c/clean/arch/ppc64/kernel/pSeries_setup.c