veth_printk(KERN_DEBUG, "Monitor ack returned for lpar %d\n", cnx->remote_lp); 
veth_debug("cnx %d: lost connection.\n", cnx->remote_lp); 
static void veth_take_monitor_ack(struct veth_lpar_connection *cnx,				  struct VethLpEvent *event){	unsigned long flags;	spin_lock_irqsave(&cnx->lock, flags);	veth_printk(KERN_DEBUG, "Monitor ack returned for lpar %d\n",		    cnx->remote_lp);	cnx->state |= VETH_STATE_RESET;	veth_kick_statemachine(cnx);	spin_unlock_irqrestore(&cnx->lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/61a3c6966158dfd9b1279c10ea8eeb3bc7acdef4/iseries_veth.c/buggy/drivers/net/iseries_veth.c