Go to the source code of this file.
Functions | |
| int | receive_event_reply (l4_threadid_t client, l4events_ch_t event_ch, l4events_nr_t event_nr, l4events_event_t event) |
| Makes the reply for an receive of an event. | |
| int | send_event_reply (l4_uint16_t result, l4_threadid_t client, l4events_nr_t event_nr) |
| Makes the reply to the sender after a send call. | |
| int | get_ack_reply (l4_threadid_t client, l4_uint8_t res, l4events_ch_t channel_nr, l4events_nr_t event_nr) |
| Makes the reply to the sender after a get-ack call. | |
| int | send_timeout (l4_threadid_t server) |
| This function is used only internally. | |
| void | server_loop (void *server_param) |
| Makes the main server loop for client handling client requests. | |
Definition in file server-lib.h.