Searched refs:max_cpu_index (Results 1 – 2 of 2) sorted by relevance
114 vki_uint32_t max_cpu_index; member
528 PRE_XEN_SYSCTL_READ(topologyinfo, max_cpu_index); in PRE()1203 POST_XEN_SYSCTL_WRITE(topologyinfo, max_cpu_index); in POST()1206 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1209 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1212 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()