Searched defs:__vki_u32 (Results 1 – 10 of 10) sorted by relevance
47 typedef unsigned int __vki_u32; typedef
50 typedef unsigned int __vki_u32; typedef
48 typedef unsigned int __vki_u32; typedef
55 typedef unsigned int __vki_u32; typedef
51 typedef unsigned int __vki_u32; typedef
60 typedef unsigned int __vki_u32; typedef