Searched refs:max_cpu_id (Results 1 – 8 of 8) sorted by relevance
369 physinfo->max_cpu_id = xcphysinfo.max_cpu_id; in libxl_get_physinfo()
911 ("max_cpu_id", uint32),
263 pi->max_cpu_id = nr_cpu_ids - 1; in do_sysctl()
95 uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member
202 maybe_printf("max_cpu_id : %d\n", info.max_cpu_id); in output_physinfo()
34 max_cpus = physinfo.max_cpu_id + 1; in xc_get_max_cpus()
187 physinfo.MaxCpuId = uint32(cphys.max_cpu_id)
673 Store_field(physinfo, 9, Val_int(c_physinfo.max_cpu_id + 1)); in stub_xc_physinfo()
Completed in 19 milliseconds