Searched refs:print_domain_vcpuinfo (Results 1 – 1 of 1) sorted by relevance
55 static void print_domain_vcpuinfo(uint32_t domid, uint32_t nr_cpus) in print_domain_vcpuinfo() function148 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()
Completed in 2 milliseconds