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