HomeSort by relevance Sort by last modified time
    Searched full:vki_uint64_t (Results 1 - 8 of 8) sorted by null

  /external/valgrind/include/vki/
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...]
vki-xen-hvm.h 10 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;
vki-xen-memory.h 73 vki_uint64_t buffer;
74 vki_uint64_t gfn;
vki-xen-tmem.h 59 vki_uint64_t oid[3];
vki-xen.h 73 __DEFINE_VKI_XEN_GUEST_HANDLE(vki_uint64, vki_uint64_t);
vki-darwin.h 46 #define vki_uint64_t uint64_t macro
vki-linux.h 245 typedef __vki_u64 vki_uint64_t; typedef
    [all...]
  /external/valgrind/coregrind/m_syswrap/
syswrap-darwin.c     [all...]

Completed in 553 milliseconds