get_clk_tck      6913 process.c          const double hertz = get_clk_tck();
get_clk_tck      7317 process.c                  denominators[num_denominators++] = get_clk_tck();
get_clk_tck      7359 process.c                  denominators[num_denominators++] = get_clk_tck();
get_clk_tck      7488 process.c                  denominators[num_denominators++] = get_clk_tck();
get_clk_tck      7506 process.c                  denominators[num_denominators++] = get_clk_tck();