pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
ip1_encap = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
sl3 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
ip1_encap = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite));
en0 = vlib_buffer_get_current (b0);
en1 = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
en0 = vlib_buffer_get_current (b0);
sl3 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite));
ip0 = vlib_buffer_get_current (b0);
ip1 = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
ip0 = vlib_buffer_get_current (b0);
sl3 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite_bsid) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite_bsid) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite_bsid) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite_bsid) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite_bsid));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite_bsid));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite_bsid));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite_bsid));
ip0 = vlib_buffer_get_current (b0);
ip1 = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite_bsid) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite_bsid));
ip0 = vlib_buffer_get_current (b0);
sl3 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b3)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl1->rewrite) + b1->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl2->rewrite) + b2->current_data));
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl3->rewrite) + b3->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
+ ASSERT (b1->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl1->rewrite));
+ ASSERT (b2->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl2->rewrite));
+ ASSERT (b3->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl3->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
ip1_encap = vlib_buffer_get_current (b1);
sl0 =
pool_elt_at_index (sm->sid_lists,
vnet_buffer (b0)->ip.adj_index[VLIB_TX]);
-
- ASSERT (VLIB_BUFFER_PRE_DATA_SIZE >=
- (vec_len (sl0->rewrite) + b0->current_data));
+ ASSERT (b0->current_data + VLIB_BUFFER_PRE_DATA_SIZE >=
+ vec_len (sl0->rewrite));
ip0_encap = vlib_buffer_get_current (b0);
ip6_ext_header_find_t (ip0_encap, prev0, sr0,