• l4semaphore_down() : semaphore.h
• l4semaphore_down_timed() : semaphore.h
• l4semaphore_init() : semaphore.h
• l4semaphore_set_thread_prio() : semaphore.h
• l4semaphore_try_down() : semaphore.h
• l4semaphore_up() : semaphore.h