Searched refs:todbl_get_cpufrequency (Results 1 – 1 of 1) sorted by relevance
52 static uint64_t todbl_get_cpufrequency(void);100 tod_ops.tod_get_cpufrequency = todbl_get_cpufrequency; in _init()394 todbl_get_cpufrequency(void) in todbl_get_cpufrequency() function