flk_set_state
flk_set_state(request, FLK_START_STATE);
flk_set_state(new_lock, FLK_ACTIVE_STATE);
flk_set_state(lock, FLK_DEAD_STATE);
flk_set_state(request, FLK_SLEEPING_STATE);
flk_set_state(request, FLK_DEAD_STATE);
flk_set_state(lock,
flk_set_state(request, FLK_INTERRUPTED_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
flk_set_state(lock_request, FLK_DEAD_STATE);
void flk_set_state(lock_descriptor_t *, int);
flk_set_state(lock, FLK_GRANTED_STATE); \
flk_set_state(lock, FLK_CANCELLED_STATE); \
flk_set_state(lock, FLK_INTERRUPTED_STATE); \
flk_set_state(lock, FLK_GRANTED_STATE); \