static long ib_umad_ioctl(struct file *filp, unsigned int cmd, unsigned long arg) 
static long ib_umad_ioctl(struct file *filp, unsigned int cmd, unsigned long arg) 
static long ib_umad_ioctl(struct file *filp,			 unsigned int cmd, unsigned long arg){	switch (cmd) {	case IB_USER_MAD_REGISTER_AGENT:		return ib_umad_reg_agent(filp->private_data, arg);	case IB_USER_MAD_UNREGISTER_AGENT:		return ib_umad_unreg_agent(filp->private_data, arg);	default:		return -ENOIOCTLCMD;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/cb183a06b381652b7637fedfa7ef85ec0baf2a1f/user_mad.c/clean/drivers/infiniband/core/user_mad.c