Searched defs:__vki_u64 (Results 1 – 9 of 9) sorted by relevance
73 typedef unsigned long __vki_u64; typedef76 typedef unsigned long long __vki_u64; typedef
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