#include "project.h"


void report_time (const char *src, EPOCH e, uint64_t abs, const char *info)
{
#ifdef CHATTY_REPORT
  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);
#endif
}