include/linux/rv.h

112

struct rv_monitor *parent;

include/linux/rv.h

117

int rv_unregister_monitor(struct rv_monitor *monitor);

include/linux/rv.h

118

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

include/linux/rv.h

126

void rv_react(struct rv_monitor *monitor, const char *msg, ...);

include/linux/rv.h

129

static inline void rv_react(struct rv_monitor *monitor, const char *msg, ...)

include/rv/da_monitor.h

29

static struct rv_monitor rv_this;

include/rv/ltl_monitor.h

20

static struct rv_monitor RV_MONITOR_NAME;

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

112

static struct rv_monitor rv_this = {

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

142

static struct rv_monitor rv_this = {

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

66

static struct rv_monitor rv_pagefault = {

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

11

struct rv_monitor rv_rtapp = {

kernel/trace/rv/monitors/rtapp/rtapp.h

3

extern struct rv_monitor rv_rtapp;

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

11

struct rv_monitor rv_sched = {

kernel/trace/rv/monitors/sched/sched.h

3

extern struct rv_monitor rv_sched;

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

61

static struct rv_monitor rv_this = {

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

69

static struct rv_monitor rv_this = {

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

219

static struct rv_monitor rv_sleep = {

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

69

static struct rv_monitor rv_this = {

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

58

static struct rv_monitor rv_this = {

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

90

static struct rv_monitor rv_this = {

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

130

static struct rv_monitor rv_this = {

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

61

static struct rv_monitor rv_this = {

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

60

static struct rv_monitor rv_this = {

kernel/trace/rv/rv.c

213

bool rv_is_nested_monitor(struct rv_monitor *mon)

kernel/trace/rv/rv.c

226

bool rv_is_container_monitor(struct rv_monitor *mon)

kernel/trace/rv/rv.c

228

struct rv_monitor *next;

kernel/trace/rv/rv.c

244

struct rv_monitor *mon = filp->private_data;

kernel/trace/rv/rv.c

255

static int __rv_disable_monitor(struct rv_monitor *mon, bool sync)

kernel/trace/rv/rv.c

276

static void rv_disable_single(struct rv_monitor *mon)

kernel/trace/rv/rv.c

281

static int rv_enable_single(struct rv_monitor *mon)

kernel/trace/rv/rv.c

298

static void rv_disable_container(struct rv_monitor *mon)

kernel/trace/rv/rv.c

300

struct rv_monitor *p = mon;

kernel/trace/rv/rv.c

313

static int rv_enable_container(struct rv_monitor *mon)

kernel/trace/rv/rv.c

315

struct rv_monitor *p = mon;

kernel/trace/rv/rv.c

336

int rv_disable_monitor(struct rv_monitor *mon)

kernel/trace/rv/rv.c

352

int rv_enable_monitor(struct rv_monitor *mon)

kernel/trace/rv/rv.c

370

struct rv_monitor *mon = filp->private_data;

kernel/trace/rv/rv.c

400

struct rv_monitor *mon = filp->private_data;

kernel/trace/rv/rv.c

420

static int create_monitor_dir(struct rv_monitor *mon, struct rv_monitor *parent)

kernel/trace/rv/rv.c

451

struct rv_monitor *mon = container_of(p, struct rv_monitor, list);

kernel/trace/rv/rv.c

488

struct rv_monitor *mon = container_of(p, struct rv_monitor, list);

kernel/trace/rv/rv.c

558

struct rv_monitor *mon;

kernel/trace/rv/rv.c

588

struct rv_monitor *mon;

kernel/trace/rv/rv.c

686

struct rv_monitor *mon;

kernel/trace/rv/rv.c

748

static void destroy_monitor_dir(struct rv_monitor *mon)

kernel/trace/rv/rv.c

760

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

kernel/trace/rv/rv.c

762

struct rv_monitor *r;

kernel/trace/rv/rv.c

807

int rv_unregister_monitor(struct rv_monitor *monitor)

kernel/trace/rv/rv.h

29

int rv_disable_monitor(struct rv_monitor *mon);

kernel/trace/rv/rv.h

30

int rv_enable_monitor(struct rv_monitor *mon);

kernel/trace/rv/rv.h

31

bool rv_is_container_monitor(struct rv_monitor *mon);

kernel/trace/rv/rv.h

32

bool rv_is_nested_monitor(struct rv_monitor *mon);

kernel/trace/rv/rv.h

35

int reactor_populate_monitor(struct rv_monitor *mon, struct dentry *root);

kernel/trace/rv/rv.h

38

static inline int reactor_populate_monitor(struct rv_monitor *mon, struct dentry *root)

kernel/trace/rv/rv_reactors.c

142

struct rv_monitor *mon = m->private;

kernel/trace/rv/rv_reactors.c

162

static void monitor_swap_reactors_single(struct rv_monitor *mon,

kernel/trace/rv/rv_reactors.c

184

static void monitor_swap_reactors(struct rv_monitor *mon, struct rv_reactor *reactor)

kernel/trace/rv/rv_reactors.c

186

struct rv_monitor *p = mon;

kernel/trace/rv/rv_reactors.c

208

struct rv_monitor *mon;

kernel/trace/rv/rv_reactors.c

255

struct rv_monitor *mon = inode->i_private;

kernel/trace/rv/rv_reactors.c

412

int reactor_populate_monitor(struct rv_monitor *mon, struct dentry *root)

kernel/trace/rv/rv_reactors.c

466

void rv_react(struct rv_monitor *monitor, const char *msg, ...)

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

11

struct rv_monitor rv_%%MODEL_NAME%% = {

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

3

extern struct rv_monitor rv_%%MODEL_NAME%%;

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

59

static struct rv_monitor rv_this = {

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

80

static struct rv_monitor rv_%%MODEL_NAME%% = {