HomeSort by relevance Sort by last modified time
    Searched full:vki_int64_t (Results 1 - 3 of 3) sorted by null

  /external/valgrind/include/vki/
vki-xen.h 95 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int64, vki_int64_t);
vki-darwin.h 51 #define vki_int64_t int64_t macro
vki-linux.h 240 typedef __vki_s64 vki_int64_t; typedef
    [all...]

Completed in 375 milliseconds