Searched refs:alarm_expired (Results 1 – 1 of 1) sorted by relevance
127 static semaphore_t* alarm_expired; variable287 semaphore_post(alarm_expired); in alarm_cleanup()300 semaphore_free(alarm_expired); in alarm_cleanup()301 alarm_expired = NULL; in alarm_cleanup()333 alarm_expired = semaphore_new(0); in lazy_initialize()334 if (!alarm_expired) { in lazy_initialize()375 semaphore_free(alarm_expired); in lazy_initialize()376 alarm_expired = NULL; in lazy_initialize()541 semaphore_post(alarm_expired); in reschedule_root_alarm()613 semaphore_post(alarm_expired); in timer_callback()[all …]