Symbol: rv_register_monitor
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%%);