Symbol: LTL_KERNEL_THREAD
kernel/trace/rv/monitors/sleep/sleep.c
57
ltl_atom_set(mon, LTL_KERNEL_THREAD, true);
kernel/trace/rv/monitors/sleep/sleep.c
78
ltl_atom_set(mon, LTL_KERNEL_THREAD, false);
kernel/trace/rv/monitors/sleep/sleep.h
146
bool kernel_thread = test_bit(LTL_KERNEL_THREAD, mon->atoms);
kernel/trace/rv/monitors/sleep/sleep.h
97
bool kernel_thread = test_bit(LTL_KERNEL_THREAD, mon->atoms);