Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 34 files:
-
kernel/trace/rv/monitors/deadline/deadline.c,
line 31
-
kernel/trace/rv/monitors/nomiss/nomiss.c,
line 266
-
kernel/trace/rv/monitors/nrp/nrp.c,
line 123
-
kernel/trace/rv/monitors/opid/opid.c,
line 104
-
kernel/trace/rv/monitors/pagefault/pagefault.c,
line 75
-
kernel/trace/rv/monitors/rtapp/rtapp.c,
line 18
-
kernel/trace/rv/monitors/sched/sched.c,
line 22
-
kernel/trace/rv/monitors/sco/sco.c,
line 72
-
kernel/trace/rv/monitors/scpd/scpd.c,
line 80
-
kernel/trace/rv/monitors/sleep/sleep.c,
line 197
-
kernel/trace/rv/monitors/snep/snep.c,
line 80
-
kernel/trace/rv/monitors/snroc/snroc.c,
line 69
-
kernel/trace/rv/monitors/sssw/sssw.c,
line 101
-
kernel/trace/rv/monitors/stall/stall.c,
line 137
-
kernel/trace/rv/monitors/sts/sts.c,
line 141
-
kernel/trace/rv/monitors/wakeup/wakeup.c,
line 140
-
kernel/trace/rv/monitors/wip/wip.c,
line 72
-
kernel/trace/rv/monitors/wwnr/wwnr.c,
line 71
-
tools/verification/rvgen/rvgen/templates/container/main.c,
line 22
-
tools/verification/rvgen/rvgen/templates/dot2k/main.c,
line 70
-
tools/verification/rvgen/rvgen/templates/ltl2k/main.c,
line 89
-
tools/verification/rvgen/tests/golden/da_global/da_global.c,
line 82
-
tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent.c,
line 106
-
tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_desc.c,
line 92
-
tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu.c,
line 214
-
tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c,
line 94
-
tools/verification/rvgen/tests/golden/test_bak_kunit/test_bak_kunit.c,
line 94
-
tools/verification/rvgen/tests/golden/test_container/test_container.c,
line 22
-
tools/verification/rvgen/tests/golden/test_da/test_da.c,
line 82
-
tools/verification/rvgen/tests/golden/test_da_kunit/test_da_kunit.c,
line 82
-
tools/verification/rvgen/tests/golden/test_ha/test_ha.c,
line 217
-
tools/verification/rvgen/tests/golden/test_ha_kunit/test_ha_kunit.c,
line 217
-
tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c,
line 95
-
tools/verification/rvgen/tests/golden/test_ltl_kunit/test_ltl_kunit.c,
line 94
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
monitor |
1638829431089729536 |
| PARAM_VALUE |
1 |
parent |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
monitor |
5870215565243867136 |
| PARAM_VALUE |
1 |
parent |
1615161431328583680 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
monitor |
6334467262794108928 |
| PARAM_VALUE |
1 |
parent |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
monitor |
1615161431328583680 |
| PARAM_VALUE |
1 |
parent |
0 |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
monitor |
3355867084241821696 |
| PARAM_VALUE |
1 |
parent |
0 |
