Events Server Reference Manual

00001 
00010 /* (c) 2003 Technische Universitaet Dresden
00011  * This file is part of DROPS, which is distributed under the terms of the
00012  * GNU General Public License 2. Please see the COPYING file for details.
00013  */
00014 #include "server.h"
00015 #include "l4/events/events.h"
00016 
00017 #ifndef __L4EVENTS_GLOBALS
00018 #define __L4EVENTS_GLOBALS
00019 
00020 
00021 /* runtime debug level */
00022 extern int verbosity;
00023 
00024 /* macro for controlling the debug level */
00025 #define DEBUGLVL(LVL) (LVL <= verbosity)
00026 
00027 #define false 0
00028 #define true 1
00029 
00030 /* value of the timeout: ~10ms */
00031 #define SERVER_TIMEOUT  l4_ipc_timeout(0,0,625,4)
00032 
00033 /* number of timeouts before releasing the event to the next priority class */
00034 #define TIMEOUT_TICKS   3
00035 
00037 #define MAX_CHANNELS  15
00038 
00039 /* maximum number of events */
00040 #define MAX_EVENT_NR  4096
00041 
00042 #endif
globals.h
