/* read all the PRA info from the system */ return init_rpa(); 
while ((dn = of_find_node_by_type(dn, "pci"))) rpaphp_add_slot(dn);  if (!num_slots) return -ENODEV;  return 0; 
static int __init rpaphp_init(void){	info(DRIVER_DESC " version: " DRIVER_VERSION "\n");	/* read all the PRA info from the system */	return init_rpa();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5eeb8c63a38ff20285f3bbe7bcfe5e7c33c8ba14/rpaphp_core.c/buggy/drivers/pci/hotplug/rpaphp_core.c