Home | Sort by relevance Sort by last modified time |
/external/valgrind/main/include/vki/ | |
vki-xen-domctl.h | 115 vki_uint32_t cpupool; member in struct:vki_xen_domctl_getdomaininfo_00000007 134 vki_uint32_t cpupool; member in struct:vki_xen_domctl_getdomaininfo_00000008 154 vki_uint32_t cpupool; member in struct:vki_xen_domctl_getdomaininfo_00000009 |
/external/valgrind/main/coregrind/m_syswrap/ | |
syswrap-xen.c | [all...] |