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