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