Searched refs:max_domains (Results 1 - 2 of 2) sorted by relevance
| /external/valgrind/main/include/vki/ | ||
| H A D | vki-xen-sysctl.h | 65 vki_uint32_t max_domains; member in struct:vki_xen_sysctl_getdomaininfolist_00000008 74 vki_uint32_t max_domains; member in struct:vki_xen_sysctl_getdomaininfolist_00000009 83 vki_uint32_t max_domains; member in struct:vki_xen_sysctl_getdomaininfolist_0000000a |
| /external/valgrind/main/coregrind/m_syswrap/ | ||
| H A D | syswrap-xen.c | 453 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000008, max_domains); 458 PRE_XEN_SYSCTL_READ(getdomaininfolist_00000009, max_domains); 463 PRE_XEN_SYSCTL_READ(getdomaininfolist_0000000a, max_domains); |
Completed in 50 milliseconds