Function vrax1q_u64

#[target_feature(enable = "neon", enable = "sha3")]
pub fn vrax1q_u64(a: uint64x2_t, b: uint64x2_t) -> uint64x2_t