1 2 3 4
// SPDX-License-Identifier: GPL-2.0 int timerlat_top_main(int argc, char *argv[]); int timerlat_main(int argc, char *argv[]);