Searched refs:max_cpu_id (Results 1 – 2 of 2) sorted by relevance
130 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member146 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member
1174 POST_XEN_SYSCTL_WRITE(physinfo_00000008, max_cpu_id); in POST()1188 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, max_cpu_id); in POST()