00001 00013 /* (c) 2003 Technische Universitaet Dresden 00014 * This file is part of DROPS, which is distributed under the terms of the 00015 * GNU General Public License 2. Please see the COPYING file for details. 00016 */ 00017 00018 #ifndef SERVER_LIB_H 00019 #define SERVER_LIB_H 00020 00021 #include "l4/events/events.h" 00022 00023 /*****************************************************************************/ 00035 /*****************************************************************************/ 00036 int receive_event_reply(l4_threadid_t client, 00037 l4events_ch_t event_ch, 00038 l4events_nr_t event_nr, 00039 l4events_event_t event); 00040 00041 /*****************************************************************************/ 00051 /*****************************************************************************/ 00052 int send_event_reply(l4_uint16_t result, 00053 l4_threadid_t client, 00054 l4events_nr_t event_nr); 00055 00056 /*****************************************************************************/ 00067 /*****************************************************************************/ 00068 int get_ack_reply(l4_threadid_t client, 00069 l4_uint8_t res, 00070 l4events_ch_t channel_nr, 00071 l4events_nr_t event_nr); 00072 00073 /*****************************************************************************/ 00081 /*****************************************************************************/ 00082 int send_timeout(l4_threadid_t server); 00083 00084 /*****************************************************************************/ 00089 /*****************************************************************************/ 00090 void server_loop(void* server_param); 00091 00092 #endif