Lines Matching defs:frequency
95 * This routine extracts the bus frequency in Hz from the device tree.
100 uint64_t frequency = 0;
115 frequency = *(uint64_t *) value;
117 FSB_Frequency_prop, frequency);
118 if (!(90*Mega < frequency && frequency < 10*Giga)) {
120 frequency = 0;
125 return frequency;
138 kprintf("VMM vendor %u TSC frequency %u KHz bus frequency %u KHz\n",
163 * Get the FSB frequency and conversion factors from EFI.
228 * determine the TSC conversion, assume it ticks at the bus frequency.