l4/pkg/l4re_c/include/event_buffer.h

   1 #pragma once
   2 /*
   3  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
   4  *     economic rights: Technische Universität Dresden (Germany)
   5  *
   6  * This file is part of TUD:OS and distributed under the terms of the
   7  * GNU General Public License 2.
   8  * Please see the COPYING-GPL-2 file for details.
   9  *
  10  * As a special exception, you may use this file as part of a free software
  11  * library without restriction.  Specifically, if other files instantiate
  12  * templates or use macros or inline functions from this file, or you compile
  13  * this file and link it with other files to produce an executable, this
  14  * file does not by itself cause the resulting executable to be covered by
  15  * the GNU General Public License.  This exception does not however
  16  * invalidate any other reasons why the executable file might be covered by
  17  * the GNU General Public License.
  18  */
  19
  20 #include <l4/sys/linkage.h>
  21 #include <l4/re/c/event.h>
  22
  23 EXTERN_C_BEGIN
  24
  25 typedef struct l4re_event_buffer_consumer_t
  26 {
  27   unsigned long _obj_buf[8];
  28 } l4re_event_buffer_consumer_t;
  29
  30 L4_CV void
  31 l4re_event_free(l4re_event_t *e) L4_NOTHROW;
  32
  33 L4_CV long
  34 l4re_event_buffer_attach(l4re_event_buffer_consumer_t *evbuf,
  35                          l4re_ds_t ds, l4_cap_idx_t rm) L4_NOTHROW;
  36
  37 L4_CV l4re_event_t *
  38 l4re_event_buffer_next(l4re_event_buffer_consumer_t *evbuf) L4_NOTHROW;
  39
  40 typedef L4_CV void l4re_event_buffer_cb_t(l4re_event_t *ev, void *data);
  41
  42 L4_CV void
  43 l4re_event_buffer_consumer_foreach_available_event(l4re_event_buffer_consumer_t *evbuf,
  44     void *data, l4re_event_buffer_cb_t *cb);
  45
  46
  47 L4_CV void
  48 l4re_event_buffer_consumer_process(l4re_event_buffer_consumer_t *evbuf,
  49                                    l4_cap_idx_t irq, l4_cap_idx_t thread, void *data,
  50                                    l4re_event_buffer_cb_t *cb);
  51
  52 EXTERN_C_END