Searched defs:vki_uint32_t (Results 1 – 3 of 3) sorted by relevance
| /external/valgrind/include/vki/ | ||
| D | vki-darwin.h | 50 #define vki_uint32_t uint32_t macro |
| D | vki-solaris.h | 77 #define vki_uint32_t uint32_t macro |
| D | vki-linux.h | 240 typedef __vki_u32 vki_uint32_t; typedef |