Searched refs:max_cpu_index (Results 1 – 2 of 2) sorted by relevance
114 vki_uint32_t max_cpu_index; member
517 PRE_XEN_SYSCTL_READ(topologyinfo, max_cpu_index); in PRE()1123 POST_XEN_SYSCTL_WRITE(topologyinfo, max_cpu_index); in POST()1126 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1129 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1132 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()