Functions | |
l4_uint8_t | server_register (l4_threadid_t client, l4events_ch_t event_ch, l4events_pr_t priority) |
Handles a register request. | |
l4_uint8_t | server_unregister (l4_threadid_t client, l4events_ch_t event_ch) |
Handles an unregister request. | |
l4_uint8_t | server_unregister_all (l4_threadid_t client) |
Handles an unregister all request. | |
l4_uint8_t | server_send_event (l4_threadid_t client, l4events_ch_t event_ch, const l4events_event_t *event, int async, int ack) |
Handles a send request. | |
l4_uint8_t | server_receive_event (l4_threadid_t client, l4events_ch_t *event_ch, l4events_event_t *event, int ack) |
Handles a receive request. | |
l4_uint8_t | server_give_ack (l4_threadid_t client, l4events_nr_t event_nr) |
Handles a give-ack request from the receiver. | |
l4_uint8_t | server_get_ack (l4_threadid_t client, l4events_nr_t event_nr) |
Handles a get-ack request from the sender. | |
l4_uint8_t | server_handle_timeout (void) |
This function is only used internally. | |
void | server_dump (void) |
Handles a dump request. |
l4_uint8_t server_register | ( | l4_threadid_t | client, | |
l4events_ch_t | event_ch, | |||
l4events_pr_t | priority | |||
) |
Handles a register request.
client | threadid of the client | |
event_ch | specifies the channel to register | |
priority | specefies the priority to register |
l4_uint8_t server_unregister | ( | l4_threadid_t | client, | |
l4events_ch_t | event_ch | |||
) |
Handles an unregister request.
client | threadid of the client | |
event_ch | specifies the channel |
l4_uint8_t server_unregister_all | ( | l4_threadid_t | client | ) |
Handles an unregister all request.
Calls server_unregister until all channels unregistered,
client | threadid of the client |
l4_uint8_t server_send_event | ( | l4_threadid_t | client, | |
l4events_ch_t | event_ch, | |||
const l4events_event_t * | event, | |||
int | async, | |||
int | ack | |||
) |
Handles a send request.
Sends a long or a short event to waiting tasks or inserts the event in a wait queue if some task registered but can not receive the event.
client | threadid of the client | |
event_ch | specifies the channel | |
event | event to send | |
async | a bit flag for blocking or non-blocking send |
l4_uint8_t server_receive_event | ( | l4_threadid_t | client, | |
l4events_ch_t * | event_ch, | |||
l4events_event_t * | event, | |||
int | ack | |||
) |
Handles a receive request.
Tries to receive an event for the task. If this is not possible, make a note that a thread is waiting for an event.
client | threadid of the client |
event_ch | returns the received channel | |
event | returns the received short event |
ack | acknowledge after send |
l4_uint8_t server_give_ack | ( | l4_threadid_t | client, | |
l4events_nr_t | event_nr | |||
) |
Handles a give-ack request from the receiver.
client | threadid of the client | |
event_nr | number of the event |
l4_uint8_t server_get_ack | ( | l4_threadid_t | client, | |
l4events_nr_t | event_nr | |||
) |
Handles a get-ack request from the sender.
client | threadid of the client | |
event_nr | number of the event |
l4_uint8_t server_handle_timeout | ( | void | ) |
This function is only used internally.
void server_dump | ( | void | ) |
Handles a dump request.