1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /* Copyright (c) 2018 Oracle and/or its affiliates. All Rights Reserved. */
3 
4 #include <stdio.h>
5 #include "tst_kernel.h"
6 
main(int argc,const char * argv[])7 int main(int argc, const char *argv[])
8 {
9 	const char *name;
10 	int i;
11 
12 	if (argc < 2) {
13 		fprintf(stderr, "Please provide kernel driver list\n");
14 		return 1;
15 	}
16 
17 	for (i = 1; (name = argv[i]); ++i) {
18 		if (tst_check_driver(name)) {
19 			fprintf(stderr, "%s", name);
20 			return 1;
21 		}
22 	}
23 
24 	return 0;
25 }
26