Searched defs:max_vcpu_id (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-domctl.h | 112 vki_uint32_t max_vcpu_id; member in struct:vki_xen_domctl_getdomaininfo_00000007 131 vki_uint32_t max_vcpu_id; member in struct:vki_xen_domctl_getdomaininfo_00000008 151 vki_uint32_t max_vcpu_id; member in struct:vki_xen_domctl_getdomaininfo_00000009 |
Completed in 458 milliseconds