Searched refs:tf_counts_per_usec (Results 1 – 2 of 2) sorted by relevance
45 uint32_t tf_counts_per_usec; member
390 tfp->tf_counts_per_usec = GEMINI_TIMER_CLOCK_FREQ / us_per_sec; in timer_factors()411 printf("\ttf_counts_per_usec: %#x\n", tfp->tf_counts_per_usec); in tfprint()