clockcalib
uint64_t clockcalib(uint64_t (*)(void), const char *);
freq = clockcalib(cb_lapic_getcount, "lapic");
freq = clockcalib(rdtsc_ordered, "TSC");