HomeSort by relevance Sort by last modified time
    Searched refs:__vki_u64 (Results 1 - 6 of 6) sorted by null

  /external/valgrind/main/include/vki/
vki-amd64-linux.h 50 typedef unsigned long long __vki_u64; typedef
184 __vki_u64 rip;
185 __vki_u64 rdp;
478 __vki_u64 rip;
479 __vki_u64 rdp;
vki-linux.h     [all...]
vki-arm-linux.h 50 typedef unsigned long long __vki_u64; typedef
vki-ppc32-linux.h 50 typedef unsigned long long __vki_u64; typedef
    [all...]
vki-ppc64-linux.h 51 typedef unsigned long __vki_u64; typedef
vki-x86-linux.h 50 typedef unsigned long long __vki_u64; typedef

Completed in 50 milliseconds