[XFRM]: xrfm_replay_check() annotations