Searched refs:max_vcpu_id (Results 1 – 2 of 2) sorted by relevance
142 vki_uint32_t max_vcpu_id; member161 vki_uint32_t max_vcpu_id; member181 vki_uint32_t max_vcpu_id; member
1821 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, max_vcpu_id); in POST()1836 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, max_vcpu_id); in POST()1853 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, max_vcpu_id); in POST()