mthca_stop_catas_poll(dev); 
void mthca_unregister_device(struct mthca_dev *dev){	ib_unregister_device(&dev->ib_dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3d155f8cd0d077938d271225d26ee52f8eb26082/mthca_provider.c/buggy/drivers/infiniband/hw/mthca/mthca_provider.c