Searched refs:rv_register_monitor (Results 1 – 18 of 18) sorted by relevance
| /linux/kernel/trace/rv/monitors/rtapp/ |
| H A D | rtapp.c | 20 return rv_register_monitor(&rv_rtapp, NULL); in register_rtapp()
|
| /linux/kernel/trace/rv/monitors/sched/ |
| H A D | sched.c | 24 return rv_register_monitor(&rv_sched, NULL); in register_sched()
|
| /linux/tools/verification/rvgen/rvgen/templates/container/ |
| H A D | main.c | 24 return rv_register_monitor(&rv_%%MODEL_NAME%%, NULL);
|
| /linux/tools/verification/rvgen/rvgen/templates/ltl2k/ |
| H A D | main.c | 89 return rv_register_monitor(&rv_%%MODEL_NAME%%, %%PARENT%%);
|
| /linux/tools/verification/rvgen/rvgen/templates/dot2k/ |
| H A D | main.c | 77 return rv_register_monitor(&rv_%%MODEL_NAME%%, %%PARENT%%);
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.c | 75 return rv_register_monitor(&rv_pagefault, &rv_rtapp); in register_pagefault()
|
| /linux/kernel/trace/rv/monitors/wip/ |
| H A D | wip.c | 74 return rv_register_monitor(&rv_wip, NULL); in register_wip()
|
| /linux/kernel/trace/rv/monitors/sco/ |
| H A D | sco.c | 74 return rv_register_monitor(&rv_sco, &rv_sched); in register_sco()
|
| /linux/kernel/trace/rv/monitors/snroc/ |
| H A D | snroc.c | 71 return rv_register_monitor(&rv_snroc, &rv_sched); in register_snroc()
|
| /linux/kernel/trace/rv/monitors/wwnr/ |
| H A D | wwnr.c | 73 return rv_register_monitor(&rv_wwnr, NULL); in register_wwnr()
|
| /linux/kernel/trace/rv/monitors/scpd/ |
| H A D | scpd.c | 82 return rv_register_monitor(&rv_scpd, &rv_sched); in register_scpd()
|
| /linux/kernel/trace/rv/monitors/snep/ |
| H A D | snep.c | 82 return rv_register_monitor(&rv_snep, &rv_sched); in register_snep()
|
| /linux/kernel/trace/rv/monitors/sssw/ |
| H A D | sssw.c | 103 return rv_register_monitor(&rv_sssw, &rv_sched); in register_sssw()
|
| /linux/kernel/trace/rv/monitors/nrp/ |
| H A D | nrp.c | 125 return rv_register_monitor(&rv_nrp, &rv_sched); in register_nrp()
|
| /linux/kernel/trace/rv/monitors/sts/ |
| H A D | sts.c | 143 return rv_register_monitor(&rv_sts, &rv_sched); in register_sts()
|
| /linux/kernel/trace/rv/monitors/opid/ |
| H A D | opid.c | 155 return rv_register_monitor(&rv_opid, &rv_sched); in register_opid()
|
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.c | 228 return rv_register_monitor(&rv_sleep, &rv_rtapp); in register_sleep()
|
| /linux/kernel/trace/rv/ |
| H A D | rv.c | 760 int rv_register_monitor(struct rv_monitor *monitor, struct rv_monitor *parent) in rv_register_monitor() function
|