Searched refs:todsf_get_cpufrequency (Results 1 – 1 of 1) sorted by relevance
53 static uint64_t todsf_get_cpufrequency(void);88 tod_ops.tod_get_cpufrequency = todsf_get_cpufrequency; in _init()193 todsf_get_cpufrequency(void) in todsf_get_cpufrequency() function