Symbol: LTL_PAGEFAULT
kernel/trace/rv/monitors/pagefault/pagefault.c
35
ltl_atom_set(mon, LTL_PAGEFAULT, false);
kernel/trace/rv/monitors/pagefault/pagefault.c
41
ltl_atom_pulse(current, LTL_PAGEFAULT, true);
kernel/trace/rv/monitors/pagefault/pagefault.h
39
bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms);
kernel/trace/rv/monitors/pagefault/pagefault.h
52
bool pagefault = test_bit(LTL_PAGEFAULT, mon->atoms);