Searched refs:ikm_usage (Results 1 – 1 of 1) sorted by relevance
| /linux/tools/verification/rv/src/ |
| H A D | in_kernel.c | 666 * ikm_usage - print usage
668 static void ikm_usage(int exit_val, char *monitor_name, const char *fmt, ...) in ikm_usage() function
731 ikm_usage(0, monitor_name, "help:"); in parse_arguments()
751 ikm_usage(1, monitor_name, in parse_arguments()
756 ikm_usage(1, monitor_name, in parse_arguments()
801 ikm_usage(1, nested_name, "ikm: failed parsing arguments"); in ikm_run_monitor()
|