Searched refs:frequency (Results 1 – 2 of 2) sorted by relevance
100 uint64_t frequency = 0; in EFI_get_frequency() local126 frequency = *(uint64_t const *) value; in EFI_get_frequency()128 prop, frequency); in EFI_get_frequency()131 return frequency; in EFI_get_frequency()
839 SYSCTL_QUAD(_machdep_tsc, OID_AUTO, frequency,