Searched refs:datalink_len (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_6lowpan_ll.c282 uint32_t datalink_len = 0; local
294 datalink_len = (uint32_t)(datalink_len + (uint32_t)ret);
295 if ((f->net_hdr - datalink_len) < f->buffer) /* Before buffer bound check */
301 f->len = (uint32_t)(f->len + datalink_len);

Completed in 29 milliseconds