OpenGrok
| Home | Sort by relevance Sort by last modified time |
Searched refs:max_vcpu_id (Results 1 -
2 of 2) sorted by null
Completed in 919 milliseconds
| /external/valgrind/main/include/vki/ | |
| 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 |
| /external/valgrind/main/coregrind/m_syswrap/ | |
| syswrap-xen.c | [all...] |
Completed in 919 milliseconds
