pci_pool_destroy(dev->cmd.pool); 
void mthca_cmd_cleanup(struct mthca_dev *dev){	iounmap(dev->hcr);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ed878458eeff9754d66f1b0325df6ebbfcdce668/mthca_cmd.c/clean/drivers/infiniband/hw/mthca/mthca_cmd.c