// SPDX-License-Identifier: GPL-2.0-only

static inline uint64x2_t pmull64(uint64x2_t a, uint64x2_t b)
{
        return vreinterpretq_u64_p128(vmull_p64(vgetq_lane_u64(a, 0),
                                                vgetq_lane_u64(b, 0)));
}

static inline uint64x2_t pmull64_high(uint64x2_t a, uint64x2_t b)
{
        poly64x2_t l = vreinterpretq_p64_u64(a);
        poly64x2_t m = vreinterpretq_p64_u64(b);

        return vreinterpretq_u64_p128(vmull_high_p64(l, m));
}

static inline uint64x2_t pmull64_hi_lo(uint64x2_t a, uint64x2_t b)
{
        return vreinterpretq_u64_p128(vmull_p64(vgetq_lane_u64(a, 1),
                                                vgetq_lane_u64(b, 0)));
}