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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1141 static void pico_socket_xmit_next_fragment_setup(struct pico_frame *f, int hdr_offset, int total_payload_written, int len) argument
1146 f->frag = (uint16_t)((total_payload_written + (uint16_t)hdr_offset) >> 3u); /* first fragment had a header offset */
1147 if (total_payload_written + f->payload_len < len) {
1163 int total_payload_written = 0; local
1190 while(total_payload_written < len) {
1195 if (space > len - total_payload_written) /* update space for last fragment */
1196 space = len - total_payload_written;
1216 if (total_payload_written == 0) {
1223 pico_socket_xmit_next_fragment_setup(f, pico_socket_sendto_transport_offset(s), total_payload_written, len);
1226 memcpy(f->payload, (const uint8_t *)buf + total_payload_written,
1326 int total_payload_written = 0; local
[all...]
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_ipv4.c1467 uint16_t total_payload_written = 0; local
1475 while(total_payload_written < len) {
1476 uint32_t space = (uint32_t)len - total_payload_written;
1486 if (space + total_payload_written < len)
1495 fr->frag = (((total_payload_written) >> 3u) & 0xffffu) | fr->frag;
1497 memcpy(fr->transport_hdr, f->transport_hdr + total_payload_written, fr->transport_len);
1499 total_payload_written = (uint16_t)((uint16_t)fr->transport_len + total_payload_written);
1505 return (int)total_payload_written;

Completed in 90 milliseconds