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

/external/valgrind/main/include/vki/
H A Dvki-xen-version.h24 typedef char vki_xen_capabilities_info_t[1024]; typedef
/external/valgrind/main/coregrind/m_syswrap/
H A Dsyswrap-xen.c980 POST_MEM_WRITE((Addr)ARG2, sizeof(vki_xen_capabilities_info_t));

Completed in 48 milliseconds