Definition at line 50 of file timing.c.
[read]
Definition at line 52 of file timing.c.
Referenced by get_timer().