Home
last modified time | relevance | path

Searched refs:print_domain_vcpuinfo (Results 1 – 1 of 1) sorted by relevance

/xen/tools/xl/
A Dxl_vcpu.c55 static void print_domain_vcpuinfo(uint32_t domid, uint32_t nr_cpus) in print_domain_vcpuinfo() function
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()

Completed in 2 milliseconds