Searched refs:ikm_run_monitor (Results 1 - 3 of 3) sorted by path

/linux-master/tools/verification/rv/include/
H A Din_kernel.h3 int ikm_run_monitor(char *monitor, int argc, char **argv);
/linux-master/tools/verification/rv/src/
H A Din_kernel.c628 * ikm_run_monitor - apply configs and run the monitor
633 int ikm_run_monitor(char *monitor_name, int argc, char **argv) function
H A Drv.c114 run += ikm_run_monitor(monitor_name, argc-1, &argv[1]);

Completed in 212 milliseconds