Home
last modified time | relevance | path

Searched refs:ikm_run_monitor (Results 1 – 3 of 3) sorted by relevance

/linux/tools/verification/rv/include/
H A Din_kernel.h3 int ikm_run_monitor(char *monitor, int argc, char **argv);
/linux/tools/verification/rv/src/
H A Drv.c114 run += ikm_run_monitor(monitor_name, argc-1, &argv[1]); in rv_mon()
H A Din_kernel.c633 int ikm_run_monitor(char *monitor_name, int argc, char **argv) in ikm_run_monitor() function