Searched refs:mon (Results 1 – 4 of 4) sorted by relevance
| /include/rv/ |
| A D | ltl_monitor.h | 50 memset(&mon->states, 0, sizeof(mon->states)); in ltl_task_init()
56 ltl_atoms_fetch(task, mon); in ltl_task_init()
107 ltl_start(task, mon); in ltl_attempt_start()
114 __set_bit(atom, mon->atoms); in ltl_atom_set()
147 if (!rv_ltl_valid_state(mon)) in ltl_validate()
151 if (test_bit(i, mon->states)) in ltl_validate()
159 if (!rv_ltl_valid_state(mon)) in ltl_validate()
160 ltl_illegal_state(task, mon); in ltl_validate()
168 ltl_atoms_fetch(task, mon); in ltl_atom_update()
175 ltl_validate(task, mon); in ltl_atom_update()
[all …]
|
| /include/linux/ |
| A D | rv.h | 58 static inline bool rv_ltl_valid_state(struct ltl_monitor *mon) in rv_ltl_valid_state() argument
60 for (int i = 0; i < ARRAY_SIZE(mon->states); ++i) { in rv_ltl_valid_state()
61 if (mon->states[i]) in rv_ltl_valid_state()
67 static inline bool rv_ltl_all_atoms_known(struct ltl_monitor *mon) in rv_ltl_all_atoms_known() argument
69 for (int i = 0; i < ARRAY_SIZE(mon->unknown_atoms); ++i) { in rv_ltl_all_atoms_known()
70 if (mon->unknown_atoms[i]) in rv_ltl_all_atoms_known()
|
| A D | time.h | 20 extern time64_t mktime64(const unsigned int year, const unsigned int mon,
|
| /include/linux/lockd/ |
| A D | xdr.h | 89 char *mon; member
|
Completed in 9 milliseconds