void pci_pool_destroy (struct pci_pool * pool);
void pci_pool_destroy
pci pool that will be destroyed
Caller guarantees that no more memory from the pool is in use, and that nothing will try to use the pool after this call.