ebda_rsrc_controller   54 drivers/pci/hotplug/ibmphp_ebda.c static int ebda_rsrc_controller(void);
ebda_rsrc_controller  384 drivers/pci/hotplug/ibmphp_ebda.c 	rc = ebda_rsrc_controller();