Searched refs:ltl_monitor (Results 1 – 2 of 2) sorted by relevance
| /include/rv/ |
| A D | ltl_monitor.h | 38 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon);
39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation);
41 static struct ltl_monitor *ltl_get_monitor(struct task_struct *task) in ltl_get_monitor()
48 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_task_init()
98 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) in ltl_illegal_state()
104 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_attempt_start()
110 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value) in ltl_atom_set()
120 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state) in ltl_trace_event()
143 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon) in ltl_validate()
165 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_update()
[all …]
|
| /include/linux/ |
| A D | rv.h | 52 struct ltl_monitor { struct
58 static inline bool rv_ltl_valid_state(struct ltl_monitor *mon) in rv_ltl_valid_state()
67 static inline bool rv_ltl_all_atoms_known(struct ltl_monitor *mon) in rv_ltl_all_atoms_known()
78 struct ltl_monitor {}; struct
86 struct ltl_monitor ltl_mon;
|
Completed in 13 milliseconds