app/report.c


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);
}