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[])7int 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