Defined in 2 files as a member:

• kernel/trace/rv/monitors/wip/wip.h, line 27 (as a member)
• kernel/trace/rv/monitors/wwnr/wwnr.h, line 27 (as a member)

Referenced in 3 files:

• include/rv/automata.h, line 74
• kernel/trace/rv/monitors/wip/wip.h, line 45
• kernel/trace/rv/monitors/wwnr/wwnr.h, line 45