Searched refs:vki_uint64_t (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/main/coregrind/m_syswrap/ |
| D | syswrap-darwin.c | 3075 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3076 PRE_MEM_WRITE("sendfile(nwritten)", ARG5, sizeof(vki_uint64_t)); in PRE()
3084 vki_uint64_t, offset, in PRE()
3085 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3086 PRE_MEM_WRITE("sendfile(nwritten)", ARG4, sizeof(vki_uint64_t)); in PRE()
3095 POST_MEM_WRITE(ARG5, sizeof(vki_uint64_t)); in POST()
3098 POST_MEM_WRITE(ARG4, sizeof(vki_uint64_t)); in POST()
7400 PRE_REG_READ0(vki_uint64_t, "__thread_selfid"); in PRE()
7519 PRE_MEM_WRITE("mk_timer_cancel(result_time)", ARG2,sizeof(vki_uint64_t)); in PRE()
7526 POST_MEM_WRITE(ARG2, sizeof(vki_uint64_t)); in POST()
|
| /external/valgrind/main/include/vki/ |
| D | vki-darwin.h | 46 #define vki_uint64_t uint64_t macro
|