Searched refs:max_cpu_index (Results 1 – 2 of 2) sorted by relevance
117 vki_uint32_t max_cpu_index; member
684 PRE_XEN_SYSCTL_READ(topologyinfo, max_cpu_index); in PRE()1772 POST_XEN_SYSCTL_WRITE(topologyinfo, max_cpu_index); in POST()1775 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1778 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()1781 sizeof(uint32_t) * sysctl->u.topologyinfo.max_cpu_index); in POST()