Searched defs:__vki_u64 (Results 1 – 6 of 6) 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