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