Defined in 2 files as a member:

• kernel/trace/rv/monitors/pagefault/pagefault_kunit.h, line 20 (as a member)
• kernel/trace/rv/monitors/sleep/sleep_kunit.h, line 25 (as a member)

Defined in 1 files as a function:

• include/rv/ltl_monitor.h, line 45 (as a function)

Referenced in 5 files:

• include/rv/ltl_monitor.h
  • line 61
  • line 78
• kernel/trace/rv/monitors/pagefault/pagefault.c
  • line 97
  • line 97
• kernel/trace/rv/monitors/pagefault/pagefault_kunit.c, line 21
• kernel/trace/rv/monitors/sleep/sleep.c
  • line 225
  • line 225
• kernel/trace/rv/monitors/sleep/sleep_kunit.c, line 25