Searched refs:max_cpu_id (Results 1 – 11 of 11) sorted by relevance
148 print_domain_vcpuinfo(dominfo[i].domid, physinfo.max_cpu_id + 1); in vcpulist()154 print_domain_vcpuinfo(domid, physinfo.max_cpu_id + 1); in vcpulist()
202 maybe_printf("max_cpu_id : %d\n", info.max_cpu_id); in output_physinfo()
369 physinfo->max_cpu_id = xcphysinfo.max_cpu_id; in libxl_get_physinfo()
1031 ("max_cpu_id", uint32),
266 pi->max_cpu_id = nr_cpu_ids - 1; in do_sysctl()
111 uint32_t max_cpu_id; /* Largest possible CPU ID on this host */ member
603 return physinfo.max_cpu_id + 1; in get_num_cpus()
34 max_cpus = physinfo.max_cpu_id + 1; in xc_get_max_cpus()
1273 max_cpu_nr = physinfo.max_cpu_id + 1; in main()
732 Store_field(physinfo, 9, Val_int(c_physinfo.max_cpu_id + 1)); in stub_xc_physinfo()
3331 x.MaxCpuId = uint32(xc.max_cpu_id)3361 xc.max_cpu_id = C.uint32_t(x.MaxCpuId)
Completed in 30 milliseconds