ltl_atom_update
ltl_atom_update(task, atom, value);
ltl_atom_update(current, LTL_BLOCK_ON_RT_MUTEX, true);
ltl_atom_update(current, LTL_BLOCK_ON_RT_MUTEX, false);
ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, true);
ltl_atom_update(current, LTL_FUTEX_LOCK_PI, true);
ltl_atom_update(current, LTL_FUTEX_WAIT, true);
ltl_atom_update(current, LTL_CLOCK_NANOSLEEP, false);
ltl_atom_update(task, LTL_KTHREAD_SHOULD_STOP, true);