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