410 #define vreinterpretq_u64_p64(a) ((uint64x2_t) a)  argument
414 static inline poly128_t vmull_p64(poly64_t a, poly64_t b)  in vmull_p64()  argument
417     asm ("vmull.p64 %[r], %[a], %[b]" : [r] "=w" (r) : [a] "w" (a), [b] "w" (b) :);  in vmull_p64()
424 static inline poly128_t vmull_high_p64(poly64x2_t a, poly64x2_t b)  in vmull_high_p64()  argument
426     return vmull_p64((poly64_t) (vget_high_u64((uint64x2_t) a)),  in vmull_high_p64()
470 #define vreinterpretq_p64_u8(a)  ((poly64x2_t) a)  argument
471 #define vreinterpretq_u8_p128(a) ((uint8x16_t) a)  argument
473 static inline poly64x1_t vget_low_p64(poly64x2_t a)  in vget_low_p64()  argument
475     uint64x1_t r = vget_low_u64(vreinterpretq_u64_p64(a));  in vget_low_p64()
490 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b)  argument
495 #define MBEDTLS_VMULL_P64(a, b) vmull_p64(a, b)  argument
498 static inline uint8x16_t pmull_low(uint8x16_t a, uint8x16_t b)  in pmull_low()  argument
503             (poly64_t) vget_low_p64(vreinterpretq_p64_u8(a)),  in pmull_low()
508 static inline uint8x16_t pmull_high(uint8x16_t a, uint8x16_t b)  in pmull_high()  argument
511         vmull_high_p64(vreinterpretq_p64_u8(a),  in pmull_high()
531 static inline uint8x16x3_t poly_mult_128(uint8x16_t a, uint8x16_t b)  in poly_mult_128()  argument
537     h = pmull_high(a, b);                       /* h3:h2:00:00 = a1*b1 */  in poly_mult_128()
538     l = pmull_low(a, b);                        /*   :  :l1:l0 = a0*b0 */  in poly_mult_128()
540     d = pmull_high(a, c);                       /*   :d2:d1:00 = a1*b0 */  in poly_mult_128()
541     e = pmull_low(a, c);                        /*   :e2:e1:00 = a0*b1 */  in poly_mult_128()
595                             const unsigned char a[16],  in mbedtls_aesce_gcm_mult()
599     va = vrbitq_u8(vld1q_u8(&a[0]));  in mbedtls_aesce_gcm_mult()