Searched defs:woken_by_nmi (Results 1 – 1 of 1) sorted by relevance
88 bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms); in ltl_start() local137 bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms); in ltl_possible_next_states() local