Home
last modified time | relevance | path

Searched refs:vki_uint64_t (Results 1 – 8 of 8) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-x86.h10 #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 …]
Dvki-xen-hvm.h10 vki_uint64_t value; /* IN/OUT */
34 vki_uint64_t first_pfn;
43 vki_uint64_t first_pfn;
51 vki_uint64_t pfn;
63 vki_uint64_t cr2;
Dvki-xen-memory.h73 vki_uint64_t buffer;
74 vki_uint64_t gfn;
Dvki-xen-tmem.h59 vki_uint64_t oid[3];
Dvki-xen.h73 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint64, vki_uint64_t);
Dvki-darwin.h46 #define vki_uint64_t uint64_t macro
Dvki-linux.h245 typedef __vki_u64 vki_uint64_t; typedef
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-darwin.c3638 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3639 PRE_MEM_WRITE("sendfile(nwritten)", ARG5, sizeof(vki_uint64_t)); in PRE()
3647 vki_uint64_t, offset, in PRE()
3648 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); in PRE()
3649 PRE_MEM_WRITE("sendfile(nwritten)", ARG4, sizeof(vki_uint64_t)); in PRE()
3658 POST_MEM_WRITE(ARG5, sizeof(vki_uint64_t)); in POST()
3661 POST_MEM_WRITE(ARG4, sizeof(vki_uint64_t)); in POST()
8443 PRE_REG_READ0(vki_uint64_t, "__thread_selfid"); in PRE()
8562 PRE_MEM_WRITE("mk_timer_cancel(result_time)", ARG2,sizeof(vki_uint64_t)); in PRE()
8569 POST_MEM_WRITE(ARG2, sizeof(vki_uint64_t)); in POST()