Searched refs:__VKI_XEN_domctl (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ | ||
| D | vki-xen.h | 68 #define __VKI_XEN_domctl 36 macro |
| /external/valgrind/coregrind/m_syswrap/ | ||
| D | syswrap-xen.c | 2264 HYPXY(__VKI_XEN_domctl, domctl, 1), // 36 |