00001 #ifndef __L4UTIL_QUEUE_H__
00002 #define __L4UTIL_QUEUE_H__
00003
00004 #include <l4/sys/types.h>
00005 #include <l4/sys/ipc.h>
00006
00007 EXTERN_C_BEGIN
00008
00009 struct l4util_buffer_head
00010 {
00011 l4_threadid_t src;
00012 l4_uint32_t len;
00013 char *buffer;
00014 };
00015
00016 L4_CV int l4util_queue_dequeue(struct l4util_buffer_head **buffer);
00017
00018 L4_CV int l4util_queue_init(int queue_threadno,
00019 void *(*malloc_func)(l4_uint32_t size),
00020 l4_uint32_t max_rcv);
00021
00022 EXTERN_C_END
00023
00024 #endif