TLB_INVALIDATION_SEQNO_MAX
pending_seqno = TLB_INVALIDATION_SEQNO_MAX - 1;
if (seqno - seqno_recv < -(TLB_INVALIDATION_SEQNO_MAX / 2))
if (seqno - seqno_recv > (TLB_INVALIDATION_SEQNO_MAX / 2))
TLB_INVALIDATION_SEQNO_MAX;
#define TLB_INVALIDATION_SEQNO_INVALID TLB_INVALIDATION_SEQNO_MAX