Searched refs:uint32x4 (Results 1 – 2 of 2) sorted by relevance
84 typedef uint32_t uint32x4 __attribute__ ((vector_size(16))); typedef96 uint32x4 a, b, c, d;109 uint32x4 vw;138 uint32x4 e = x->a - ((x->b << 27) + (x->b >> (32 - 27))); in prng_rand_128_r()
144 const uint32x4 const_C0000000 = in randmemset_internal()152 const uint32x4 const_40000000 = in randmemset_internal()