xfrm_replay_notify_bmp
static void xfrm_replay_notify_bmp(struct xfrm_state *x, int event);
xfrm_replay_notify_bmp(x, event);