Searched refs:ikm_usage (Results 1 – 1 of 1) sorted by relevance
| /linux/tools/verification/rv/src/ |
| H A D | in_kernel.c | 529 static void ikm_usage(int exit_val, char *monitor_name, const char *fmt, ...) in ikm_usage() function
592 ikm_usage(0, monitor_name, "help:"); in parse_arguments()
612 ikm_usage(1, monitor_name, in parse_arguments()
617 ikm_usage(1, monitor_name, in parse_arguments()
653 ikm_usage(1, monitor_name, "ikm: failed parsing arguments"); in ikm_run_monitor()
|