Defined in 2 files as a function:
Referenced in 3 files:
- include/rv/da_monitor.h, line 923
- include/rv/ha_monitor.h, line 539
- kernel/trace/rv/monitors/nomiss/nomiss.c, line 201
Smatch caller information:
kernel/trace/rv/monitors/nomiss/nomiss.c handle_sys_enter() -> da_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | target | 4096-ptr_max |
| PARAM_VALUE | 1 | target->dl_server | 0 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |