if (ppc64_firmware_features & FW_FEATURE_MULTITCE) { 
if (firmware_has_feature(FW_FEATURE_MULTITCE)) { 
void iommu_init_early_pSeries(void){	if (of_chosen && get_property(of_chosen, "linux,iommu-off", NULL)) {		/* Direct I/O, IOMMU off */		ppc_md.iommu_dev_setup = iommu_dev_setup_null;		ppc_md.iommu_bus_setup = iommu_bus_setup_null;		pci_direct_iommu_init();		return;	}	if (systemcfg->platform & PLATFORM_LPAR) {		if (ppc64_firmware_features & FW_FEATURE_MULTITCE) {			ppc_md.tce_build = tce_buildmulti_pSeriesLP;			ppc_md.tce_free	 = tce_freemulti_pSeriesLP;		} else {			ppc_md.tce_build = tce_build_pSeriesLP;			ppc_md.tce_free	 = tce_free_pSeriesLP;		}		ppc_md.iommu_bus_setup = iommu_bus_setup_pSeriesLP;		ppc_md.iommu_dev_setup = iommu_dev_setup_pSeriesLP;	} else {		ppc_md.tce_build = tce_build_pSeries;		ppc_md.tce_free  = tce_free_pSeries;		ppc_md.iommu_bus_setup = iommu_bus_setup_pSeries;		ppc_md.iommu_dev_setup = iommu_dev_setup_pSeries;	}	pSeries_reconfig_notifier_register(&iommu_reconfig_nb);	pci_iommu_init();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1ababe11480d59d75be806804c71fa55d203a5a6/pSeries_iommu.c/clean/arch/ppc64/kernel/pSeries_iommu.c