blob: f6c84d9dbb1454f06597c4d48c7668691780432e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#include "project.h"
void report_time (const char *src, EPOCH e, uint64_t abs, const char *info)
{
printf ("RT %s %08x%08x %08x%08x %s\r\n",
src,
(unsigned) (abs >> 32),
(unsigned) (abs & 0xffffffff),
(unsigned) (e.s >> 32),
(unsigned) (e.s & 0xffffffff),
info);
}
|