Home
last modified time | relevance | path

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

/external/valgrind/include/vki/
Dvki-xen-version.h51 typedef char vki_xen_capabilities_info_t[1024]; typedef
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-xen.c1626 POST_MEM_WRITE((Addr)ARG2, sizeof(vki_xen_capabilities_info_t)); in POST()