Searched defs:vki_uint64_t (Results 1 – 3 of 3) sorted by relevance
| /external/valgrind/include/vki/ | ||
| D | vki-darwin.h | 52 #define vki_uint64_t uint64_t macro |
| D | vki-solaris.h | 78 #define vki_uint64_t uint64_t macro |
| D | vki-linux.h | 241 typedef __vki_u64 vki_uint64_t; typedef |