Defined in 1 files as a prototype:

• tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent.c, line 61 (as a prototype)

Defined in 1 files as a function:

• include/rv/da_monitor.h, line 556 (as a function)

Referenced in 1 files:

• kernel/trace/rv/monitors/deadline/deadline.h, line 200

Smatch caller information: