Home
last modified time | relevance | path

Searched full:val13 (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/trace/rv/monitors/sleep/
H A Dsleep.h96 bool val13 = !wake; in ltl_start() local
116 if (val11 && val13) in ltl_start()
145 bool val13 = !wake; in ltl_possible_next_states() local
167 if (val11 && val13) in ltl_possible_next_states()
175 if (val11 && val13) in ltl_possible_next_states()
177 if (val13 && val3) in ltl_possible_next_states()
183 if (val13 && val5) in ltl_possible_next_states()
189 if (val11 && val13) in ltl_possible_next_states()
191 if (val13 && val3) in ltl_possible_next_states()
197 if (val13 && val5) in ltl_possible_next_states()
[all …]