Home | History | Annotate | Download | only in vki

Lines Matching defs:vki_u32

54 typedef unsigned int vki_u32;