Searched refs:nr_online_vcpus (Results 1 – 2 of 2) sorted by relevance
145 vki_uint32_t nr_online_vcpus; member164 vki_uint32_t nr_online_vcpus; member184 vki_uint32_t nr_online_vcpus; member
1972 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, nr_online_vcpus); in POST()1987 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, nr_online_vcpus); in POST()2004 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, nr_online_vcpus); in POST()