u64 *inbox; 
__be64 *inbox; 
int mthca_MAP_ICM_page(struct mthca_dev *dev, u64 dma_addr, u64 virt, u8 *status){	struct mthca_mailbox *mailbox;	u64 *inbox;	int err;	mailbox = mthca_alloc_mailbox(dev, GFP_KERNEL);	if (IS_ERR(mailbox))		return PTR_ERR(mailbox);	inbox = mailbox->buf;	inbox[0] = cpu_to_be64(virt);	inbox[1] = cpu_to_be64(dma_addr);	err = mthca_cmd(dev, mailbox->dma, 1, 0, CMD_MAP_ICM,			CMD_TIME_CLASS_B, status);	mthca_free_mailbox(dev, mailbox);	if (!err)		mthca_dbg(dev, "Mapped page at %llx to %llx for ICM.\n",			  (unsigned long long) dma_addr, (unsigned long long) virt);	return err;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/mthca_cmd.c/buggy/drivers/infiniband/hw/mthca/mthca_cmd.c