Searched refs:alarm_expired (Results 1 – 1 of 1) sorted by relevance
129 static semaphore_t* alarm_expired; variable288 semaphore_post(alarm_expired); in alarm_cleanup()301 semaphore_free(alarm_expired); in alarm_cleanup()302 alarm_expired = NULL; in alarm_cleanup()334 alarm_expired = semaphore_new(0); in lazy_initialize()335 if (!alarm_expired) { in lazy_initialize()376 semaphore_free(alarm_expired); in lazy_initialize()377 alarm_expired = NULL; in lazy_initialize()542 semaphore_post(alarm_expired); in reschedule_root_alarm()614 semaphore_post(alarm_expired); in timer_callback()[all …]