void ctl_events_pulse(CTL_EVENT_SET_t *e, CTL_EVENT_SET_t set_then_clear);
ctl_events_pulse will set the events defined by set_then_clear in the event set pointed to by e. ctl_events_pulse will then search the task list, matching tasks that are waiting on the event set e, and make them runnable if the match is successful. The events defined by set_then_clear are then cleared.