/* return ns since time_init() */ solo5_time_t solo5_clock_monotonic(void) { if (use_pvclock) return pvclock_monotonic(); else return tscclock_monotonic(); }
/* return wall time in nsecs */ uint64_t solo5_clock_wall(void) { if (use_pvclock) return pvclock_monotonic() + pvclock_epochoffset(); else return tscclock_monotonic() + tscclock_epochoffset(); }