event.c File Reference

Event signalling thread. More...

Go to the source code of this file.

Defines
#define	MAX_CLIENTS   (DSI_MAX_EVENTS * DSI_MAX_SOCKETS)
#define	EVENT_SET   0x00000000
	IPC commands.
#define	EVENT_RESET   0x40000000
#define	EVENT_WAIT   0x80000000
#define	EVENT_MASK   ((1UL << DSI_MAX_EVENTS) - 1)
Functions
static void	__event_thread (void *data)
	Component event signalling thread.
void	dsi_init_event_signalling (void)
	Init event signalling.
static int	__client_wakeup (l4_threadid_t client, l4_uint32_t events, int error)
	Send event notification to client application.
static int	__set_event (dsi_socketid_t id, l4_uint32_t events)
	Set events.
static int	__reset_event (l4_threadid_t client, dsi_socketid_t id, l4_uint32_t events)
	Reset events.
static int	__wait_for_events (l4_threadid_t client, dsi_socketid_t id, l4_uint32_t events)
	Wait for events.
int	dsi_event_set (dsi_socketid_t socket_id, l4_uint32_t events)
	Set events.
l4_threadid_t	dsi_get_event_thread_id (void)
	Return id of event signalling thread.
int	dsi_event_reset (l4_threadid_t event_thread, dsi_socketid_t socket_id, l4_uint32_t events)
	Reset events.
l4_int32_t	dsi_event_wait (l4_threadid_t event_thread, dsi_socketid_t socket_id, l4_uint32_t events)
	Wait for events.
Variables
static l4_threadid_t	dsi_component_event_id = L4_INVALID_ID
	component event signalling thread id
static dsi_event_client_t	clients [MAX_CLIENTS]
	client descriptors

---

Detailed Description

Event signalling thread.

Date:

02/04/2001

Author:

Lars Reuther <reuther@os.inf.tu-dresden.de>

Definition in file event.c.