kernel/trace/rv/monitors/nrp/nrp.c

109

da_monitor_destroy();

kernel/trace/rv/monitors/opid/opid.c

136

da_monitor_destroy();

kernel/trace/rv/monitors/sco/sco.c

58

da_monitor_destroy();

kernel/trace/rv/monitors/scpd/scpd.c

66

da_monitor_destroy();

kernel/trace/rv/monitors/snep/snep.c

66

da_monitor_destroy();

kernel/trace/rv/monitors/snroc/snroc.c

55

da_monitor_destroy();

kernel/trace/rv/monitors/sssw/sssw.c

87

da_monitor_destroy();

kernel/trace/rv/monitors/sts/sts.c

124

da_monitor_destroy();

kernel/trace/rv/monitors/wip/wip.c

58

da_monitor_destroy();

kernel/trace/rv/monitors/wwnr/wwnr.c

57

da_monitor_destroy();

tools/verification/rvgen/rvgen/templates/dot2k/main.c

53

da_monitor_destroy();