Home
last modified time | relevance | path

Searched defs: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
145 bool val13 = !wake; in ltl_possible_next_states() local