Searched refs:max_cpu_id (Results 1 – 3 of 3) sorted by relevance
137 long max_cpu_id = 0; in InitializeSystemInfo() local186 if (id_str[1] != '\0' && *err == '\0' && max_cpu_id < cpu_id) in InitializeSystemInfo()187 max_cpu_id = cpu_id; in InitializeSystemInfo()206 if ((max_cpu_id + 1) != num_cpus) { in InitializeSystemInfo()
133 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member149 vki_uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member
1604 POST_XEN_SYSCTL_WRITE(physinfo_00000008, max_cpu_id); in POST()1619 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, max_cpu_id); in POST()