Searched refs:vki_uint64_t (Results 1 – 7 of 7) sorted by relevance
| /external/valgrind/main/include/vki/ |
| D | vki-xen-x86.h | 10 #define vki_xen_uint64_aligned_t vki_uint64_t __attribute__((aligned(8)))
16 #define vki_xen_uint64_aligned_t vki_uint64_t
55 vki_uint64_t r15;
56 vki_uint64_t r14;
57 vki_uint64_t r13;
58 vki_uint64_t r12;
59 vki_uint64_t rbp;
60 vki_uint64_t rbx;
61 vki_uint64_t r11;
62 vki_uint64_t r10;
[all …]
|
| D | vki-xen-hvm.h | 10 vki_uint64_t value; /* IN/OUT */
|
| D | vki-xen-tmem.h | 59 vki_uint64_t oid[3];
|
| D | vki-xen.h | 73 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint64, vki_uint64_t);
|
| D | vki-darwin.h | 46 #define vki_uint64_t uint64_t macro
|
| D | vki-linux.h | 241 typedef __vki_u64 vki_uint64_t; typedef
|
| /external/valgrind/main/coregrind/m_syswrap/ |
| D | syswrap-darwin.c | 3101 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3102 PRE_MEM_WRITE("sendfile(nwritten)", ARG5, sizeof(vki_uint64_t)); in PRE()
3110 vki_uint64_t, offset, in PRE()
3111 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3112 PRE_MEM_WRITE("sendfile(nwritten)", ARG4, sizeof(vki_uint64_t)); in PRE()
3121 POST_MEM_WRITE(ARG5, sizeof(vki_uint64_t)); in POST()
3124 POST_MEM_WRITE(ARG4, sizeof(vki_uint64_t)); in POST()
7434 PRE_REG_READ0(vki_uint64_t, "__thread_selfid"); in PRE()
7553 PRE_MEM_WRITE("mk_timer_cancel(result_time)", ARG2,sizeof(vki_uint64_t)); in PRE()
7560 POST_MEM_WRITE(ARG2, sizeof(vki_uint64_t)); in POST()
|