Searched defs:__vki_u64 (Results 1 – 10 of 10) 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
53 typedef unsigned long __vki_u64; typedef
51 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