Searched refs:__vki_le16 (Results 1 – 1 of 1) sorted by relevance
247 typedef __vki_u16 __vki_le16; typedef3124 __vki_le16 clock_offset;