Searched defs:max_vcpu_id (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.3-release/sys/xen/interface/ | ||
| H A D | domctl.h | 102 uint32_t max_vcpu_id; /* Maximum VCPUID in use by this domain. */ member in struct:xen_domctl_getdomaininfo |
Completed in 55 milliseconds