Searched defs:vki_int64_t (Results 1 – 2 of 2) sorted by relevance
51 #define vki_int64_t int64_t macro
240 typedef __vki_s64 vki_int64_t; typedef