Searched refs:cores_per_socket (Results 1 – 2 of 2) sorted by relevance
128 vki_uint32_t cores_per_socket; member144 vki_uint32_t cores_per_socket; member
1092 POST_XEN_SYSCTL_WRITE(physinfo_00000008, cores_per_socket); in POST()1106 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, cores_per_socket); in POST()