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