Defined in 1 files as a function:

• kernel/trace/rv/rv_monitors_test.c, line 124 (as a function)

Referenced in 12 files:

• kernel/trace/rv/monitors/nomiss/nomiss_kunit.c, line 37
• kernel/trace/rv/monitors/opid/opid_kunit.c, line 32
• kernel/trace/rv/monitors/pagefault/pagefault_kunit.c, line 33
• kernel/trace/rv/monitors/sco/sco_kunit.c, line 28
• kernel/trace/rv/monitors/sleep/sleep_kunit.c, line 58
• kernel/trace/rv/monitors/sssw/sssw_kunit.c, line 32
• kernel/trace/rv/monitors/sts/sts_kunit.c, line 38
• tools/verification/rvgen/rvgen/templates/kunit.c, line 32
• tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit_kunit.c, line 32
• tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit_kunit.c, line 32
• tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit_kunit.c, line 32
• tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit_kunit.c, line 32

Smatch caller information: