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

/seL4-camkes-master/projects/lwip/src/core/
H A Dtcp_out.c97 #define TCP_DATA_COPY(dst, src, len, seg) do { \
99 len, &seg->chksum, &seg->chksum_swapped); \
100 seg->flags |= TF_SEG_DATA_CHECKSUMMED; } while(0)
104 #define TCP_DATA_COPY(dst, src, len, seg) MEMCPY(dst, src, len)
128 static err_t tcp_output_segment(struct tcp_seg *seg, struct tcp_pcb *pcb, struct netif *netif);
160 struct tcp_seg *seg; local
168 if ((seg = (struct tcp_seg *)memp_malloc(MEMP_TCP_SEG)) == NULL) {
173 seg->flags = optflags;
174 seg
393 struct tcp_seg *last_unsent = NULL, *seg = NULL, *prev_seg = NULL, *queue = NULL; local
829 struct tcp_seg *seg = NULL, *useg = NULL; local
1035 struct tcp_seg *seg; local
1239 struct tcp_seg *seg, *useg; local
1432 tcp_output_segment_busy(const struct tcp_seg *seg) argument
1455 tcp_output_segment(struct tcp_seg *seg, struct tcp_pcb *pcb, struct netif *netif) argument
1633 struct tcp_seg *seg; local
1726 struct tcp_seg *seg; local
2121 struct tcp_seg *seg; local
[all...]
H A Dtcp.c1605 * @param seg tcp_seg list of TCP segments to free
1608 tcp_segs_free(struct tcp_seg *seg) argument
1610 while (seg != NULL) {
1611 struct tcp_seg *next = seg->next;
1612 tcp_seg_free(seg);
1613 seg = next;
1620 * @param seg single tcp_seg to free
1623 tcp_seg_free(struct tcp_seg *seg) argument
1625 if (seg != NULL) {
1626 if (seg
1662 tcp_seg_copy(struct tcp_seg *seg) argument
[all...]
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py43 total = sum([seg['p_memsz'] for seg in elf.iter_segments()
44 if seg['p_type'] == 'PT_LOAD'])
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DELF.py164 for seg in self._elf.iter_segments():
165 if not seg['p_type'] == 'PT_LOAD':
167 if seg['p_memsz'] == 0:
170 seg_p_vaddr = seg['p_vaddr']
171 seg_p_filesz = seg['p_filesz']
172 seg_p_offset = seg['p_offset']
174 'size': seg['p_memsz'],
176 relevant_regions = self.regions_in_segment(seg, existing_pages)
212 r = (seg['p_flags'] & P_FLAGS.PF_R) > 0
213 w = (seg['p_flag
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S31 movw $SEL_DS_3, %ax # load register ax with seg selector DS
34 movw $SEL_FS, %ax # load register ax with seg selector FS
36 movw $SEL_GS, %ax # load register ax with seg selector GS
38 movw $SEL_DS_0, %ax # load register ax with seg selector for kernel DS
/seL4-camkes-master/projects/lwip/test/unit/tcp/
H A Dtest_tcp_oos.c31 struct tcp_seg* seg = pcb->ooseq; local
32 while(seg != NULL) {
34 seg = seg->next;
44 struct tcp_seg* seg = pcb->ooseq; local
45 while(seg != NULL) {
46 num += pbuf_clen(seg->p);
47 seg = seg->next;
63 struct tcp_seg* seg local
87 struct tcp_seg* seg = pcb->ooseq; local
110 struct tcp_seg* seg = pcb->ooseq; local
[all...]
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/
H A Dtcp_priv.h155 #define TCP_TCPLEN(seg) ((seg)->len + (((TCPH_FLAGS((seg)->tcphdr) & (TCP_FIN | TCP_SYN)) != 0) ? 1U : 0U))
444 void tcp_segs_free(struct tcp_seg *seg);
445 void tcp_seg_free(struct tcp_seg *seg);
446 struct tcp_seg *tcp_seg_copy(struct tcp_seg *seg);
465 void tcp_rexmit_seg(struct tcp_pcb *pcb, struct tcp_seg *seg);
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_tcp.c48 struct tcp_input_segment *seg; local
58 seg = segment_from_frame(f);
59 fail_if(!seg);
60 fail_if(seg->seq != 0xdeadbeef);
61 fail_if(seg->payload_len != f->payload_len);
62 fail_if(memcmp(seg->payload, f->payload, f->payload_len) != 0);
67 seg = segment_from_frame(f);
68 fail_if(seg);
72 seg = segment_from_frame(f);
73 fail_if(seg);
[all...]
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dblkfront.c348 req->seg[j].first_sect = 0;
349 req->seg[j].last_sect = PAGE_SIZE / 512 - 1;
351 req->seg[0].first_sect = ((uintptr_t)aiocbp->aio_buf & ~PAGE_MASK) / 512;
352 req->seg[n-1].last_sect = (((uintptr_t)aiocbp->aio_buf + aiocbp->aio_nbytes - 1) & ~PAGE_MASK) / 512;
357 *(char*)(data + (req->seg[j].first_sect << 9)) = 0;
360 aiocbp->gref[j] = req->seg[j].gref =
/seL4-camkes-master/kernel/src/arch/x86/64/
H A Dmachine_asm.S77 movw $0x10, %ax # load register ax with seg selector
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_tcp.c99 struct tcp_input_segment *seg; local
104 seg = PICO_ZALLOC(sizeof(struct tcp_input_segment));
105 if (!seg)
108 seg->payload = PICO_ZALLOC(f->payload_len);
109 if(!seg->payload)
111 PICO_FREE(seg);
115 seg->seq = SEQN(f);
116 seg->payload_len = f->payload_len;
117 memcpy(seg->payload, f->payload, seg
[all...]

Completed in 124 milliseconds