Searched defs:val41 (Results 1 – 1 of 1) sorted by relevance
82 bool val41 = futex_lock_pi || val40; in ltl_start() local131 bool val41 = futex_lock_pi || val40; in ltl_possible_next_states() local