ebda_rio_table     56 drivers/pci/hotplug/ibmphp_ebda.c static int ebda_rio_table(void);
ebda_rio_table    379 drivers/pci/hotplug/ibmphp_ebda.c 			rc = ebda_rio_table();