#include <stdint.h>
#include <timing.h>
#include <time.h>
+#include <timing_config.h>
#define TS_SIZE 4500000
return 0;
}
-void timing_ipoint(unsigned short id)
+void timing_ipoint(unsigned char id)
{
timestamp_t *p, *pinc;
uint32_t tbu, tb, tbu2;
{
int ret;
- ret = system("mount -t debugfs trace /debug");
- if(ret == -1) {
- printf("timing: Mount of debugfs failed! Task switch tracing not possible.\n");
- return;
- }
-
+ printf("Initializing timing analysis library...\n");
+ system("mount -t debugfs trace /debug");
system("echo sched_switch > /debug/tracing/current_tracer");
freq = init_freq;
printf("timing: Clock source not set during compile time! Unable to perform timestamping!\n");
return;
}
+ printf("Timing library initialized!\n");
clock_gettime(clk_id, &meas_start_ts);
}