Searched refs:todsc_get_cpufrequency (Results 1 – 1 of 1) sorted by relevance
60 static uint64_t todsc_get_cpufrequency(void);134 tod_ops.tod_get_cpufrequency = todsc_get_cpufrequency; in _init()260 todsc_get_cpufrequency(void) in todsc_get_cpufrequency() function