fibril_timer_state_t 122 uspace/lib/c/include/fibril_synch.h } fibril_timer_state_t; fibril_timer_state_t 122 uspace/lib/posix/include/libc/fibril_synch.h } fibril_timer_state_t;