c14d23ac86
backend for timecounters. Due to known bugs in some chipsets, always read until we get 3 successive samples which are monotonic, as FreeBSD does in its "safe" variant. This can be refined later, either by chipset quirks or by a test (as FreeBSD does).