Searched defs:__vki_u64 (Results 1 – 7 of 7) sorted by relevance
50 typedef unsigned long long __vki_u64; typedef
51 typedef unsigned long __vki_u64; typedef
54 typedef unsigned long long __vki_u64; typedef
67 typedef unsigned long long __vki_u64; typedef