Searched refs:vki_int32_t (Results 1 - 5 of 5) sorted by relevance

/external/valgrind/main/include/vki/
H A Dvki-xen-tmem.h65 vki_int32_t pool_id;
H A Dvki-xen.h67 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_int32, vki_int32_t);
H A Dvki-xen-domctl.h269 vki_int32_t time_offset_seconds;
H A Dvki-linux.h234 typedef __vki_s32 vki_int32_t; typedef
2568 typedef vki_int32_t vki_key_serial_t;
H A Dvki-darwin.h43 #define vki_int32_t int32_t macro

Completed in 194 milliseconds