Symbol: todopl_get_cpufrequency
usr/src/uts/sun4u/io/todopl.c
177
tod_ops.tod_get_cpufrequency = todopl_get_cpufrequency;
usr/src/uts/sun4u/io/todopl.c
64
static uint64_t todopl_get_cpufrequency(void);