HomeSort by relevance Sort by last modified time
    Searched refs:vki_int32_t (Results 1 - 5 of 5) sorted by null

  /external/valgrind/main/include/vki/
vki-xen-tmem.h 65 vki_int32_t pool_id;
vki-xen.h 67 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int32, vki_int32_t);
vki-xen-domctl.h 269 vki_int32_t time_offset_seconds;
vki-linux.h 234 typedef __vki_s32 vki_int32_t; typedef
    [all...]
vki-darwin.h 43 #define vki_int32_t int32_t macro

Completed in 118 milliseconds