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