Searched refs:cpu_khz (Results 1 – 4 of 4) sorted by relevance
136 vki_uint32_t cpu_khz; member152 vki_uint32_t cpu_khz; member
1745 POST_XEN_SYSCTL_WRITE(physinfo_00000008, cpu_khz); in POST()1760 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, cpu_khz); in POST()
3887 unsigned cpu_type, cpu_features, cpu_khz, cpu_nrctrs; member