/seL4-camkes-master/projects/lwip/src/core/ |
H A D | tcp_out.c | 97 #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 D | tcp.c | 1605 * @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 D | elf_sift.py | 43 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 D | ELF.py | 164 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 D | machine_asm.S | 31 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 D | test_tcp_oos.c | 31 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 D | tcp_priv.h | 155 #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 D | modunit_pico_tcp.c | 48 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 D | blkfront.c | 348 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 D | machine_asm.S | 77 movw $0x10, %ax # load register ax with seg selector
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_tcp.c | 99 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...] |