int msg_send_int(msg_t *m, kernel_pid_t target_pid)
Send message from interrupt.
int16_t kernel_pid_t
Unique process identifier.
static void _evtimer_msg_handler(evtimer_event_t *event)
Event handler for IPC messages.
void evtimer_init(evtimer_t *evtimer, evtimer_callback_t handler)
Initializes an event timer.
static void evtimer_add_msg(evtimer_msg_t *evtimer, evtimer_msg_event_t *event, kernel_pid_t target_pid)
Adds event to an event timer that handles events via IPC.
evtimer_t evtimer_msg_t
IPC-message event timer.
static void evtimer_init_msg(evtimer_t *evtimer)
Initializes event timer to handle events via IPC.
void evtimer_add(evtimer_t *evtimer, evtimer_event_t *event)
Adds event to an event timer.
msg_t msg
the IPC message to generate on event
evtimer_event_t event
base class
Describes a message object which can be sent between threads.
kernel_pid_t sender_pid
PID of sending thread.