Searched refs:vki_u_quad_t (Results 1 – 4 of 4) sorted by relevance
150 typedef vki_uint64_t vki_u_quad_t; typedef
183 typedef vki_uint64_t vki_u_quad_t; typedef