Searched refs:cpu_khz (Results 1 – 2 of 2) sorted by relevance
133 vki_uint32_t cpu_khz; member149 vki_uint32_t cpu_khz; member
1097 POST_XEN_SYSCTL_WRITE(physinfo_00000008, cpu_khz); in POST()1111 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, cpu_khz); in POST()