Searched defs:vki_u32 (Results 1 – 10 of 10) sorted by relevance
54 typedef unsigned int vki_u32; typedef
59 typedef unsigned int vki_u32; typedef
55 typedef unsigned int vki_u32; typedef
90 typedef uint32_t vki_u32; typedef
58 typedef unsigned int vki_u32; typedef
69 typedef unsigned int vki_u32; typedef
64 typedef unsigned int vki_u32; typedef