#include <l4/log/l4log.h>
#include <l4/events/events.h>
#include <l4/generic_io/generic_io-client.h>
#include <l4/thread/thread.h>
#include <l4/sys/syscalls.h>
#include "events.h"
#include "omega0lib.h"
Go to the source code of this file.
Functions | |
static void | events_init_and_wait (void *dummy) |
void | init_events (void) |
Variables | |
static l4_threadid_t | l4io_service_id = L4_INVALID_ID |
l4_threadid_t | events_thread_id = L4_INVALID_ID |
Definition in file events.c.