Searched refs:EFI_FSB_frequency (Results 1 - 1 of 1) sorted by relevance

/macosx-10.5.8/xnu-1228.15.4/osfmk/i386/
H A Dtsc.c101 EFI_FSB_frequency(void) function
109 kprintf("EFI_FSB_frequency: didn't find /efi/platform\n");
113 kprintf("EFI_FSB_frequency: property %s not found\n",
119 kprintf("EFI_FSB_frequency: read %s value: %llu\n",
122 kprintf("EFI_FSB_frequency: value out of range\n");
126 kprintf("EFI_FSB_frequency: unexpected size %d\n", size);
144 busFreq = EFI_FSB_frequency();

Completed in 21 milliseconds