events.c File Reference

Event server support. More...

#include <stdlib.h>
#include <l4/sys/ipc.h>
#include <l4/sys/syscalls.h>
#include <l4/log/l4log.h>
#include <l4/names/libnames.h>
#include <l4/events/events.h>
#include "events.h"
#include "globals.h"
#include "omega0_proto.h"

Go to the source code of this file.

Functions
static void	events_init_and_wait (void)
void	init_events (void)
Variables
int	use_events
static l4_threadid_t	omega0_service_id
l4_threadid_t	events_thread_id

---

Detailed Description

Event server support.

Date:

2007-04-27

Author:

Jork Loeser <jork.loeser@inf.tu-dresden.de>

Christian Helmuth <ch12@os.inf.tu-dresden.de>

Definition in file events.c.

---

Function Documentation

static void events_init_and_wait

(

void

)

[static]

Definition at line 32 of file events.c.

void init_events

(

void

)

Definition at line 62 of file events.c.

---

Variable Documentation

l4_threadid_t events_thread_id

Definition at line 29 of file events.c.

l4_threadid_t omega0_service_id [static]

Definition at line 28 of file events.c.

int use_events

Definition at line 26 of file events.c.