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

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

Completed in 55 milliseconds