blob: f6a38640ec619ade54f4020d86fc1ed7577c1f38 [file] [log] [blame]
/* Copyright (c) 2011 The Regents of the University of California
* Barret Rhoden <brho@cs.berkeley.edu>
* See LICENSE for details.
*
* Unbounded concurrent queues, kernel side. Check k/i/r/ucq.h or the
* Documentation for more info. */
#pragma once
#include <ros/ucq.h>
#include <process.h>
void send_ucq_msg(struct ucq *ucq, struct proc *p, struct event_msg *msg);