(rt_timing_diff_usec): Export.
* src/vm/rt-timing.c (rt_timing_diff_usec): Export.
}
}
-static long rt_timing_diff_usec(struct timespec *a,struct timespec *b)
+long rt_timing_diff_usec(struct timespec *a,struct timespec *b)
{
long diff;
time_t atime;
#ifndef _RT_TIMING_H
#define _RT_TIMING_H
+#include "config.h"
+
#if defined(ENABLE_RT_TIMING)
-#include "config.h"
#include "vm/types.h"
#include <time.h>
void rt_timing_time_diff(struct timespec *a,struct timespec *b,int index);
+long rt_timing_diff_usec(struct timespec *a,struct timespec *b);
+
void rt_timing_print_time_stats(FILE *file);
#else /* !defined(ENABLE_RT_TIMING) */