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