/linux/kernel/trace/rv/ |
H A D | rv.c | 69 * The struct rv_monitor defines a set of callback functions to control 76 * int rv_register_monitor(struct rv_monitor *monitor); 78 * int rv_unregister_monitor(struct rv_monitor *monitor); 213 bool rv_is_nested_monitor(struct rv_monitor *mon) in rv_is_nested_monitor() 226 bool rv_is_container_monitor(struct rv_monitor *mon) in rv_is_container_monitor() 228 struct rv_monitor *next; in rv_is_container_monitor() 244 struct rv_monitor *mon = filp->private_data; in monitor_enable_read_data() 255 static int __rv_disable_monitor(struct rv_monitor *mon, bool sync) in __rv_disable_monitor() 276 static void rv_disable_single(struct rv_monitor *mon) in rv_disable_single() 281 static int rv_enable_single(struct rv_monitor *mo [all...] |
H A D | rv.h | 27 int rv_disable_monitor(struct rv_monitor *mon); 28 int rv_enable_monitor(struct rv_monitor *mon); 29 bool rv_is_container_monitor(struct rv_monitor *mon); 30 bool rv_is_nested_monitor(struct rv_monitor *mon); 33 int reactor_populate_monitor(struct rv_monitor *mon); 36 static inline int reactor_populate_monitor(struct rv_monitor *mon) in reactor_populate_monitor()
|
H A D | rv_reactors.c | 141 struct rv_monitor *mon = m->private; in monitor_reactor_show() 161 static void monitor_swap_reactors_single(struct rv_monitor *mon, in monitor_swap_reactors_single() 183 static void monitor_swap_reactors(struct rv_monitor *mon, struct rv_reactor *reactor) in monitor_swap_reactors() 185 struct rv_monitor *p = mon; in monitor_swap_reactors() 207 struct rv_monitor *mon; in monitor_reactors_write() 259 struct rv_monitor *mon = inode->i_private; in monitor_reactors_open() 422 int reactor_populate_monitor(struct rv_monitor *mon) in reactor_populate_monitor()
|
/linux/include/linux/ |
H A D | rv.h | 98 struct rv_monitor { struct 110 struct rv_monitor *parent; argument 115 int rv_unregister_monitor(struct rv_monitor *monitor); argument 116 int rv_register_monitor(struct rv_monitor *monitor, struct rv_monitor *parent);
|
/linux/kernel/trace/rv/monitors/rtapp/ |
H A D | rtapp.c | 11 struct rv_monitor rv_rtapp; 13 struct rv_monitor rv_rtapp = {
|
H A D | rtapp.h | 3 extern struct rv_monitor rv_rtapp;
|
/linux/kernel/trace/rv/monitors/sched/ |
H A D | sched.c | 11 struct rv_monitor rv_sched; 13 struct rv_monitor rv_sched = {
|
H A D | sched.h | 3 extern struct rv_monitor rv_sched;
|
/linux/tools/verification/rvgen/rvgen/templates/container/ |
H A D | main.c | 11 struct rv_monitor rv_%%MODEL_NAME%%; 13 struct rv_monitor rv_%%MODEL_NAME%% = {
|
H A D | main.h | 3 extern struct rv_monitor rv_%%MODEL_NAME%%;
|
/linux/tools/verification/rvgen/rvgen/templates/dot2k/ |
H A D | main.c | 30 static struct rv_monitor rv_%%MODEL_NAME%%; 66 static struct rv_monitor rv_%%MODEL_NAME%% = {
|
/linux/kernel/trace/rv/monitors/snroc/ |
H A D | snroc.c | 19 static struct rv_monitor rv_snroc; 60 static struct rv_monitor rv_snroc = {
|
/linux/kernel/trace/rv/monitors/sco/ |
H A D | sco.c | 19 static struct rv_monitor rv_sco; 63 static struct rv_monitor rv_sco = {
|
/linux/kernel/trace/rv/monitors/wip/ |
H A D | wip.c | 19 static struct rv_monitor rv_wip; 63 static struct rv_monitor rv_wip = {
|
/linux/kernel/trace/rv/monitors/wwnr/ |
H A D | wwnr.c | 18 static struct rv_monitor rv_wwnr; 62 static struct rv_monitor rv_wwnr = {
|
/linux/kernel/trace/rv/monitors/snep/ |
H A D | snep.c | 20 static struct rv_monitor rv_snep; 71 static struct rv_monitor rv_snep = {
|
/linux/kernel/trace/rv/monitors/scpd/ |
H A D | scpd.c | 20 static struct rv_monitor rv_scpd; 71 static struct rv_monitor rv_scpd = {
|
/linux/kernel/trace/rv/monitors/sssw/ |
H A D | sssw.c | 20 static struct rv_monitor rv_sssw; 92 static struct rv_monitor rv_sssw = {
|
/linux/kernel/trace/rv/monitors/nrp/ |
H A D | nrp.c | 20 static struct rv_monitor rv_nrp; 114 static struct rv_monitor rv_nrp = {
|
/linux/kernel/trace/rv/monitors/sts/ |
H A D | sts.c | 21 static struct rv_monitor rv_sts; 132 static struct rv_monitor rv_sts = {
|
/linux/kernel/trace/rv/monitors/opid/ |
H A D | opid.c | 21 static struct rv_monitor rv_opid; 144 static struct rv_monitor rv_opid = {
|
/linux/tools/verification/rvgen/rvgen/templates/ltl2k/ |
H A D | main.c | 80 static struct rv_monitor rv_%%MODEL_NAME%% = {
|
/linux/kernel/trace/rv/monitors/pagefault/ |
H A D | pagefault.c | 66 static struct rv_monitor rv_pagefault = {
|
/linux/include/rv/ |
H A D | ltl_monitor.h | 21 static struct rv_monitor RV_MONITOR_NAME;
|
/linux/kernel/trace/rv/monitors/sleep/ |
H A D | sleep.c | 215 static struct rv_monitor rv_sleep = {
|