Defined in 2 files as a prototype:
- tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent.c, line 40 (as a prototype)
- tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_desc.c, line 37 (as a prototype)
Defined in 3 files as a function:
- include/rv/da_monitor.h, line 799 (as a function)
- include/rv/da_monitor.h, line 840 (as a function)
- include/rv/da_monitor.h, line 893 (as a function)
Referenced in 2 files:
Smatch caller information:
kernel/trace/rv/monitors/nomiss/nomiss.c handle_dl_server_stop() -> da_handle_start_run_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | target | 4096-ptr_max |
| PARAM_VALUE | 2 | event | 2 |
| DATA_SOURCE | 1 | target | $1 |
| NOCHECK_CALL |
kernel/trace/rv/monitors/nomiss/nomiss.c handle_sched_switch() -> da_handle_start_run_event()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | target | 4096-ptr_max |
| PARAM_VALUE | 1 | target->dl_server | 0 |
| PARAM_VALUE | 2 | event | 4 |
| NOCHECK_CALL |