Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 12 files:
- kernel/trace/rv/monitors/nomiss/nomiss_kunit.c, line 16
- kernel/trace/rv/monitors/opid/opid_kunit.c, line 14
- kernel/trace/rv/monitors/pagefault/pagefault_kunit.c, line 16
- kernel/trace/rv/monitors/sco/sco_kunit.c, line 15
- kernel/trace/rv/monitors/sleep/sleep_kunit.c, line 20
- kernel/trace/rv/monitors/sssw/sssw_kunit.c, line 16
- kernel/trace/rv/monitors/sts/sts_kunit.c, line 16
- tools/verification/rvgen/rvgen/templates/kunit.c, line 21
- tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit_kunit.c, line 21
- tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit_kunit.c, line 21
- tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit_kunit.c, line 21
- tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit_kunit.c, line 21
Smatch caller information:
kernel/trace/rv/rv_monitors_test.c rv_test_nomiss() -> prepare_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 990620930527371264 |
| PARAM_VALUE | 0 | test->last_seen.line | 101 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | test->priv->mock_task_count | s32min-8 |
| PARAM_VALUE | 1 | mon | 3242801425988726784 |
| DATA_SOURCE | 0 | test | $0 |
| NOCHECK_CALL |