Searched refs:vki_uint64_t (Results 1 - 12 of 12) sorted by relevance
/external/valgrind/include/vki/ |
H A D | vki-xen-x86.h | 37 #define vki_xen_uint64_aligned_t vki_uint64_t __attribute__((aligned(8))) 43 #define vki_xen_uint64_aligned_t vki_uint64_t 82 vki_uint64_t r15; 83 vki_uint64_t r14; 84 vki_uint64_t r13; 85 vki_uint64_t r12; 86 vki_uint64_t rbp; 87 vki_uint64_t rbx; 88 vki_uint64_t r11; 89 vki_uint64_t r1 [all...] |
H A D | vki-xen-hvm.h | 37 vki_uint64_t value; /* IN/OUT */ 78 vki_uint64_t first_pfn; 87 vki_uint64_t first_pfn; 95 vki_uint64_t pfn; 107 vki_uint64_t cr2;
|
H A D | vki-xen-physdev.h | 53 vki_uint64_t table_base;
|
H A D | vki-xen-memory.h | 101 vki_uint64_t buffer; 102 vki_uint64_t gfn;
|
H A D | vki-xen-tmem.h | 86 vki_uint64_t oid[3];
|
H A D | vki-xen.h | 100 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint64, vki_uint64_t);
|
H A D | vki-xen-domctl.h | 425 vki_uint64_t caps; 426 vki_uint64_t mci_ctl2_bank0; 427 vki_uint64_t mci_ctl2_bank1;
|
H A D | vki-darwin.h | 52 #define vki_uint64_t uint64_t macro
|
H A D | vki-solaris.h | 78 #define vki_uint64_t uint64_t macro
|
H A D | vki-linux.h | 241 typedef __vki_u64 vki_uint64_t; typedef
|
/external/valgrind/coregrind/m_syswrap/ |
H A D | syswrap-solaris.c | 6850 PRE_MEM_WRITE("modctl(buflenp)", ARG4, sizeof(vki_uint64_t)); 6851 if (ML_(safe_to_deref)((vki_uint64_t *) ARG4, sizeof(vki_uint64_t))) { 6853 PRE_MEM_WRITE("modctl(bufp)", ARG3, *(vki_uint64_t *) ARG4); 6857 PRE_MEM_WRITE("modctl(genp)", ARG5, sizeof(vki_uint64_t)); 6874 PRE_MEM_READ("modctl(buflenp)", ARG4, sizeof(vki_uint64_t)); 6875 if (ML_(safe_to_deref)((vki_uint64_t *) ARG4, sizeof(vki_uint64_t))) { 6876 PRE_MEM_READ("modctl(bufp)", ARG3, *(vki_uint64_t *) ARG4); 6893 PRE_MEM_WRITE("modctl(utsp)", ARG2, sizeof(vki_uint64_t)); [all...] |
H A D | syswrap-darwin.c | 3736 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); 3737 PRE_MEM_WRITE("sendfile(nwritten)", ARG5, sizeof(vki_uint64_t)); 3745 vki_uint64_t, offset, 3746 vki_uint64_t *, nwritten, struct sf_hdtr *, sf_header, int, flags); 3747 PRE_MEM_WRITE("sendfile(nwritten)", ARG4, sizeof(vki_uint64_t)); 3756 POST_MEM_WRITE(ARG5, sizeof(vki_uint64_t)); 3759 POST_MEM_WRITE(ARG4, sizeof(vki_uint64_t)); 8920 PRE_MEM_WRITE("mk_timer_cancel(result_time)", ARG2,sizeof(vki_uint64_t)); 8927 POST_MEM_WRITE(ARG2, sizeof(vki_uint64_t)); 9229 PRE_REG_READ0(vki_uint64_t, "__thread_selfi [all...] |
Completed in 806 milliseconds