Symbol: xfrm_replay_seqhi