include/linux/rv.h

156

int rv_unregister_monitor(struct rv_monitor *monitor);

kernel/trace/rv/monitors/deadline/deadline.c

36

rv_unregister_monitor(&rv_deadline);

kernel/trace/rv/monitors/nomiss/nomiss.c

285

rv_unregister_monitor(&rv_this);

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

128

rv_unregister_monitor(&rv_this);

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

115

rv_unregister_monitor(&rv_this);

kernel/trace/rv/monitors/pagefault/pagefault.c

80

rv_unregister_monitor(&rv_pagefault);

kernel/trace/rv/monitors/rtapp/rtapp.c

23

rv_unregister_monitor(&rv_rtapp);

kernel/trace/rv/monitors/sched/sched.c

27

rv_unregister_monitor(&rv_sched);

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

77

rv_unregister_monitor(&rv_this);

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

85

rv_unregister_monitor(&rv_this);

kernel/trace/rv/monitors/sleep/sleep.c

241

rv_unregister_monitor(&rv_sleep);

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

85

rv_unregister_monitor(&rv_this);

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

74

rv_unregister_monitor(&rv_this);

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

106

rv_unregister_monitor(&rv_this);

kernel/trace/rv/monitors/stall/stall.c

142

rv_unregister_monitor(&rv_this);

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

146

rv_unregister_monitor(&rv_this);

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

77

rv_unregister_monitor(&rv_this);

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

76

rv_unregister_monitor(&rv_this);

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

27

rv_unregister_monitor(&rv_%%MODEL_NAME%%);

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

75

rv_unregister_monitor(&rv_this);

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

94

rv_unregister_monitor(&rv_%%MODEL_NAME%%);