Add time_in_seconds function

haversine_02/include/profiler/timer.h

@@ -61,6 +61,8 @@ u64 read_cpu_timer(void);
 // CPU frequency in hz/sec
 u64 get_cpu_freq(u64 milliseconds);
 
+f64 time_in_seconds(u64 cpu_time, u64 cpu_freq);
+
 void profile_start(u64 count);
 void profile_end();