Searched refs:total_payload_written (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_socket.c | 1141 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 D | pico_ipv4.c | 1467 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