unsigned long flags;  spin_lock_irqsave(&cnx->msg_stack_lock, flags); 
static inline void veth_stack_push(struct veth_lpar_connection *cnx,				   struct veth_msg *msg){	unsigned long flags;	spin_lock_irqsave(&cnx->msg_stack_lock, flags);	msg->next = cnx->msg_stack_head;	cnx->msg_stack_head = msg;	spin_unlock_irqrestore(&cnx->msg_stack_lock, flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d7893ddd1b2110a54a5b1773a405748172ba1fe5/iseries_veth.c/buggy/drivers/net/iseries_veth.c