evtimer_msg.h

IPC-based evtimer definitions.

evtimer_t evtimer_msg_t

IPC-message event timer.

void evtimer_add_msg(evtimer_msg.h::evtimer_msg_t * evtimer, evtimer_msg_event_t * event, kernel_types.h::kernel_pid_t target_pid)

Adds event to an event timer that handles events via IPC.

Parameters

evtimer:An event timer event:An event target_pid:The PID of the thread that should receive the IPC message

void _evtimer_msg_handler(evtimer.h::evtimer_event_t * event)

Event handler for IPC messages.

Parameters

event:The event to handle

void evtimer_init_msg(evtimer_t * evtimer)

Initializes event timer to handle events via IPC.

Parameters

evtimer:An event timer

struct evtimer_msg_event_t

IPC-message event.

evtimer.h::evtimer_event_t event

base class

msg_t msg

the IPC message to generate on event