struct mthca_trap_mad *tmad = (void *) (unsigned long) mad_send_wc->wr_id;  dma_unmap_single(agent->device->dma_device, pci_unmap_addr(tmad, mapping), sizeof *tmad->mad, DMA_TO_DEVICE); kfree(tmad->mad); kfree(tmad); 
ib_free_send_mad(mad_send_wc->send_buf); 
static void send_handler(struct ib_mad_agent *agent,			 struct ib_mad_send_wc *mad_send_wc){	struct mthca_trap_mad *tmad =		(void *) (unsigned long) mad_send_wc->wr_id;	dma_unmap_single(agent->device->dma_device,			 pci_unmap_addr(tmad, mapping),			 sizeof *tmad->mad,			 DMA_TO_DEVICE);	kfree(tmad->mad);	kfree(tmad);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34816ad98efe4d47ffd858a0345321f9d85d9420/mthca_mad.c/buggy/drivers/infiniband/hw/mthca/mthca_mad.c