Symbol: ikm_run_monitor
tools/verification/rv/include/in_kernel.h
3
int ikm_run_monitor(char *monitor, int argc, char **argv);
tools/verification/rv/src/rv.c
126
run += ikm_run_monitor(monitor_name, argc-1, &argv[1]);