PPCDBG(PPCDBG_BUSWALK, "iSeries_pcibios_init Exit.\n"); 
void iSeries_pcibios_init(void){	PPCDBG(PPCDBG_BUSWALK, "iSeries_pcibios_init Entry.\n");	iomm_table_initialize();	find_and_init_phbs();	io_page_mask = -1;	PPCDBG(PPCDBG_BUSWALK, "iSeries_pcibios_init Exit.\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dcad47fc423ac9f4934579af814fa2dad5c8081b/pci.c/clean/arch/powerpc/platforms/iseries/pci.c