Documented in 1 files:

• include/linux/rv.h, line 42

Defined in 2 files as a struct:

• include/linux/rv.h, line 55 (as a struct)
• include/linux/rv.h, line 81 (as a struct)

Referenced in 17 files:

• include/linux/rv.h
  • line 61
  • line 70
  • line 126
• include/rv/ltl_monitor.h
  • line 24
  • line 25
  • line 27
  • line 34
  • line 85
  • line 92
  • line 98
  • line 108
  • line 131
  • line 153
  • line 168
• kernel/trace/rv/monitors/pagefault/pagefault.c
  • line 21
  • line 32
• kernel/trace/rv/monitors/pagefault/pagefault.h
  • line 37
  • line 50
• kernel/trace/rv/monitors/sleep/sleep.c
  • line 25
  • line 36
  • line 96
  • line 147
• kernel/trace/rv/monitors/sleep/sleep.h
  • line 70
  • line 115
• kernel/trace/rv/monitors/wakeup/wakeup.c
  • line 31
  • line 42
• kernel/trace/rv/monitors/wakeup/wakeup.h
  • line 45
  • line 68
• tools/verification/rvgen/rvgen/templates/ltl2k/main.c
  • line 26
  • line 39
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c
  • line 26
  • line 39
• tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h
  • line 41
  • line 56
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.c
  • line 26
  • line 39
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.h
  • line 41
  • line 56
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c
  • line 27
  • line 40
• tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h
  • line 41
  • line 56
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.c
  • line 26
  • line 39
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.h
  • line 41
  • line 56