Marko Mäkelä f6ea0389a4 Replace ut_timer() with my_interval_timer() ... The function pointer ut_timer() was only used by the InnoDB defragmenting thread. Let InnoDB use a single monotonic high-precision timer, my_interval_timer() [in nanoseconds], occasionally wrapped by microsecond_interval_timer(). srv_defragment_interval: Change from "timer" units to nanoseconds. This concludes the InnoDB time function cleanup that was motivated by MDEV-14154. Only ut_time_ms() will remain for now, wrapping my_interval_timer().		2019-07-25 10:43:11 +03:00
..
srv0conc.cc	Update FSF address	2019-05-11 19:25:02 +03:00
srv0mon.cc	Update FSF address	2019-05-11 19:25:02 +03:00
srv0srv.cc	Remove the wrappers ut_time(), ut_difftime(), ib_time_t	2019-07-24 21:59:26 +03:00
srv0start.cc	Replace ut_timer() with my_interval_timer()	2019-07-25 10:43:11 +03:00