events.c File Reference

Event handling, listen for events at event server. More...

#include <stdio.h>
#include <l4/sys/types.h>
#include <l4/log/l4log.h>
#include <l4/loader/loader-client.h>
#include <l4/env/errno.h>
#include <l4/util/macros.h>
#include <l4/thread/thread.h>
#include <l4/events/events.h>
#include "events.h"

Defines
#define	DEBUG_EVENTS   0
Functions
int	events_send_kill (l4_threadid_t task)
static void	events_init_and_wait (void *dummy)
int	init_events (void)
Variables
static l4_threadid_t	loader_service_id
l4_threadid_t	killing = L4_INVALID_ID

---

Detailed Description

Event handling, listen for events at event server.

Date:

01/03/2003

Author:

Torsten Frenzel <frenzel@os.inf.tu-dresden.de>