phbs_remap_io(); 
void __init pSeries_final_fixup(void){	phbs_remap_io();	pSeries_request_regions();	pci_addr_cache_build();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0f34f490290e05ee6c02e20b3811fce6f09318f4/pci.c/buggy/arch/powerpc/platforms/pseries/pci.c