#include <stdarg.h> // for va_list, va_start and va_end
#include "timespec_operations.h"
#include "fosa_configuration_parameters.h" /* FOSA_CLOCK_REALTIME */
+#include "fosa_clocks_and_timers.h"
// Tune the following FLAGS to select the debugging messages to be generated
#define FRSH_TRACE_CALLBACKS false
#define FRSH_TRACE_TIMEDWAIT false
#define FRSH_TRACE_SPORADIC_SERVER false
#define FRSH_TRACE_ROUND_ROBIN false
+#define FRSH_TRACE_BOUNDED_JOB false
#define FRSH_TRACE_THREAD_INDEX false
#define FRSH_TRACE_VRES_INDEX false
return result;
}
+static inline long int FRSH_TIMESPEC_TO_RELATIVE_MSECS(const struct timespec *tspec)
+{
+ long int time_msecs = -1;
+
+ timespec2msec(tspec, &time_msecs);
+
+ return time_msecs - frsh_trace_init_timemsec;
+}
+
static void inline FRSH_TRACE(bool is_active, const char *format, ...)
{
va_list args;