/* port_dispatcher(): Dispatcher for messages destinated to the tipc_port interface. Called with port locked.  */
static u32 port_dispatcher(struct tipc_port *dummy, struct sk_buff *buf)
/* port_dispatcher(): Dispatcher for messages destinated to the tipc_port interface. Called with port locked.  */
static u32 port_dispatcher(struct tipc_port *dummy, struct sk_buff *buf)
{
	buf->next = NULL;
	spin_lock_bh(&queue_lock);
	if (msg_queue_head) {
		msg_queue_tail->next = buf;
		msg_queue_tail = buf;
	} else {
		msg_queue_tail = msg_queue_head = buf;
		tipc_k_signal((Handler)port_dispatcher_sigh, 0);
	}
	spin_unlock_bh(&queue_lock);
	return 0;
}