Searched defs:vki_xen_sysctl_topologyinfo (Results 1 – 1 of 1) sorted by relevance
116 struct vki_xen_sysctl_topologyinfo { struct117 vki_uint32_t max_cpu_index;