xfrm_replay_seqhi
esn_msb = xfrm_replay_seqhi(x, htonl(seq_bottom));
u32 xfrm_replay_seqhi(struct xfrm_state *x, __be32 net_seq);
seq_hi = htonl(xfrm_replay_seqhi(x, seq));
EXPORT_SYMBOL(xfrm_replay_seqhi);
htonl(xfrm_replay_seqhi(x, net_seq)))) {
seq_hi = xfrm_replay_seqhi(x, net_seq);