void eventOS_scheduler_signal(void) { // XXX why does signal set lock if called with irqs disabled? //__enable_irq(); //tr_debug("signal %p", (void*)event_thread_id); #if MBED_CONF_NANOSTACK_HAL_EVENT_LOOP_DISPATCH_FROM_APPLICATION osEventFlagsSet(event_flag_id, 1); #else osThreadFlagsSet(event_thread_id, 1); #endif //tr_debug("signalled %p", (void*)event_thread_id); }
void equeue_sema_signal(equeue_sema_t *s) { osEventFlagsSet(s->id, 1); }