ibmphp_free_ebda_pci_rsrc_queue  270 drivers/pci/hotplug/ibmphp.h void ibmphp_free_ebda_pci_rsrc_queue(void);
ibmphp_free_ebda_pci_rsrc_queue 1249 drivers/pci/hotplug/ibmphp_core.c 	ibmphp_free_ebda_pci_rsrc_queue();