include/linux/rv.h

118

int rv_register_monitor(struct rv_monitor *monitor, struct rv_monitor *parent);

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

123

return rv_register_monitor(&rv_this, &rv_sched);

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

153

return rv_register_monitor(&rv_this, &rv_sched);

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

75

return rv_register_monitor(&rv_pagefault, &rv_rtapp);

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

18

return rv_register_monitor(&rv_rtapp, NULL);

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

22

return rv_register_monitor(&rv_sched, NULL);

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

72

return rv_register_monitor(&rv_this, &rv_sched);

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

80

return rv_register_monitor(&rv_this, &rv_sched);

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

228

return rv_register_monitor(&rv_sleep, &rv_rtapp);

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

80

return rv_register_monitor(&rv_this, &rv_sched);

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

69

return rv_register_monitor(&rv_this, &rv_sched);

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

101

return rv_register_monitor(&rv_this, &rv_sched);

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

141

return rv_register_monitor(&rv_this, &rv_sched);

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

72

return rv_register_monitor(&rv_this, NULL);

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

71

return rv_register_monitor(&rv_this, NULL);

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

22

return rv_register_monitor(&rv_%%MODEL_NAME%%, NULL);

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

70

return rv_register_monitor(&rv_this, %%PARENT%%);

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

89

return rv_register_monitor(&rv_%%MODEL_NAME%%, %%PARENT%%);