Symbol: LTL_NANOSLEEP_CLOCK_TAI
kernel/trace/rv/monitors/sleep/sleep.c
138
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, args[0] == CLOCK_TAI);
kernel/trace/rv/monitors/sleep/sleep.c
175
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.c
48
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.c
63
ltl_atom_set(mon, LTL_NANOSLEEP_CLOCK_TAI, false);
kernel/trace/rv/monitors/sleep/sleep.h
147
bool nanosleep_clock_tai = test_bit(LTL_NANOSLEEP_CLOCK_TAI, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
98
bool nanosleep_clock_tai = test_bit(LTL_NANOSLEEP_CLOCK_TAI, mon->atoms);