Home
last modified time | relevance | path

Searched refs:max_vcpu_id (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-domctl.h146 vki_uint32_t max_vcpu_id; member
165 vki_uint32_t max_vcpu_id; member
185 vki_uint32_t max_vcpu_id; member
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-xen.c1973 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, max_vcpu_id); in POST()
1988 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, max_vcpu_id); in POST()
2005 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, max_vcpu_id); in POST()