Searched defs:val24 (Results 1 – 1 of 1) sorted by relevance
100 bool val24 = nanosleep_clock_monotonic || nanosleep_clock_tai; in ltl_start() local149 bool val24 = nanosleep_clock_monotonic || nanosleep_clock_tai; in ltl_possible_next_states() local