27 #ifndef RL_UTIL_XENOMAI_CHRONO_H
28 #define RL_UTIL_XENOMAI_CHRONO_H
31 #include <native/timer.h>
47 typedef duration::rep
rep;
49 typedef ::std::chrono::time_point<steady_clock, duration>
time_point;
67 typedef duration::rep
rep;
69 typedef ::std::chrono::time_point<system_clock, duration>
time_point;
83 ::std::chrono::duration_cast< ::std::chrono::seconds>(
91 return ::std::chrono::time_point_cast<system_clock::duration>(
92 ::std::chrono::time_point<system_clock, ::std::chrono::seconds>(
93 ::std::chrono::seconds(t)
103 #endif // RL_UTIL_XENOMAI_CHRONO_H