Searched refs:vcpuid (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ | ||
| D | vki-xen-hvm.h | 102 vki_uint32_t vcpuid; member |
| /external/valgrind/coregrind/m_syswrap/ | ||
| D | syswrap-xen.c | 1396 PRE_XEN_HVMOP_READ(inject_trap, vcpuid); in PRE() |