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