if (firmware_has_feature(FW_FEATURE_XDABR | FW_FEATURE_DABR)) 
if (firmware_has_feature(FW_FEATURE_DABR)) 
static void __init pSeries_init_early(void){	void *comport;	int iommu_off = 0;	unsigned int default_speed;	u64 physport;	DBG(" -> pSeries_init_early()\n");	fw_feature_init();		if (systemcfg->platform & PLATFORM_LPAR)		hpte_init_lpar();	else {		hpte_init_native();		iommu_off = (of_chosen &&			     get_property(of_chosen, "linux,iommu-off", NULL));	}	generic_find_legacy_serial_ports(&physport, &default_speed);	if (systemcfg->platform & PLATFORM_LPAR)		find_udbg_vterm();	else if (physport) {		/* Map the uart for udbg. */		comport = (void *)ioremap(physport, 16);		udbg_init_uart(comport, default_speed);		DBG("Hello World !\n");	}	if (firmware_has_feature(FW_FEATURE_XDABR | FW_FEATURE_DABR))		ppc_md.set_dabr = pseries_set_dabr;	iommu_init_early_pSeries();	pSeries_discover_pic();	DBG(" <- pSeries_init_early()\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/76032de898f34db55b5048349db56557828a1390/setup.c/buggy/arch/powerpc/platforms/pseries/setup.c