Searched refs:nr_online_vcpus (Results 1 – 2 of 2) sorted by relevance
141 vki_uint32_t nr_online_vcpus; member160 vki_uint32_t nr_online_vcpus; member180 vki_uint32_t nr_online_vcpus; member
1820 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, nr_online_vcpus); in POST()1835 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, nr_online_vcpus); in POST()1852 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, nr_online_vcpus); in POST()