"not open\n", device->name, port_num); 
"not open\n", device->name, port_num); 
int smi_check_local_dr_smp(struct ib_smp *smp,			   struct ib_device *device,			   int port_num){	struct ib_agent_port_private *port_priv;	if (smp->mgmt_class != IB_MGMT_CLASS_SUBN_DIRECTED_ROUTE)		return 1;	port_priv = ib_get_agent_port(device, port_num, NULL);	if (!port_priv) {		printk(KERN_DEBUG SPFX "smi_check_local_dr_smp %s port %d "		       "not open\n",		       device->name, port_num);		return 1;	}	return smi_check_local_smp(port_priv->smp_agent, smp);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34816ad98efe4d47ffd858a0345321f9d85d9420/agent.c/clean/drivers/infiniband/core/agent.c