siphash_4u32
chk(siphash_4u32(0x03020100U, 0x07060504U,
return siphash_4u32((__force u32)saddr, (__force u32)daddr,
return siphash_4u32((__force u32)saddr, (__force u32)daddr,
return siphash_4u32((u32)a, (u32)b, (u32)c, (u32)d, &ct_id_seed);
return (__force __be32)siphash_4u32((u32)a, (u32)b, (u32)c, (u32)d, &exp_id_seed);