1 // SPDX-License-Identifier: GPL-2.0+
4 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
10 static int do_timer(struct cmd_tbl *cmdtp, int flag, int argc,
18 if (!strcmp(argv[1], "start"))
21 if (!strcmp(argv[1], "get")) {
22 ulong msecs = get_timer(start) * 1000 / CONFIG_SYS_HZ;
23 printf("%ld.%03d\n", msecs / 1000, (int)(msecs % 1000));
30 timer, 2, 1, do_timer,
31 "access the system timer",
32 "start - Reset the timer reference.\n"
33 "timer get - Print the time since 'start'."