Home
last modified time | relevance | path

Searched refs:atom (Results 1 – 2 of 2) sorted by relevance

/include/rv/
A Dltl_monitor.h110 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value) in ltl_atom_set() argument
112 __clear_bit(atom, mon->unknown_atoms); in ltl_atom_set()
114 __set_bit(atom, mon->atoms); in ltl_atom_set()
116 __clear_bit(atom, mon->atoms); in ltl_atom_set()
163 static void ltl_atom_update(struct task_struct *task, enum ltl_atom atom, bool value) in ltl_atom_update() argument
167 ltl_atom_set(mon, atom, value); in ltl_atom_update()
178 static void __maybe_unused ltl_atom_pulse(struct task_struct *task, enum ltl_atom atom, bool value) in ltl_atom_pulse() argument
182 ltl_atom_update(task, atom, value); in ltl_atom_pulse()
184 ltl_atom_set(mon, atom, !value); in ltl_atom_pulse()
/include/linux/
A Dconsole.h221 unsigned int atom; member

Completed in 8 milliseconds