Symbol: ibmphp_free_ebda_pci_rsrc_queue
drivers/pci/hotplug/ibmphp.h
269
void ibmphp_free_ebda_pci_rsrc_queue(void);
drivers/pci/hotplug/ibmphp_core.c
1175
ibmphp_free_ebda_pci_rsrc_queue();