comport = (void *)__ioremap(physport, 16, _PAGE_NO_CACHE); 
comport = (void *)ioremap(physport, 16); 
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, _PAGE_NO_CACHE);		udbg_init_uart(comport, default_speed);		ppc_md.udbg_putc = udbg_putc;		ppc_md.udbg_getc = udbg_getc;		ppc_md.udbg_getc_poll = udbg_getc_poll;		DBG("Hello World !\n");	}	iommu_init_early_pSeries();	pSeries_discover_pic();	DBG(" <- pSeries_init_early()\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dfbacdc1a0b568dfa69fb2c1b39b608074001083/pSeries_setup.c/buggy/arch/ppc64/kernel/pSeries_setup.c