/seL4-camkes-master/projects/musllibc/include/netinet/ |
H A D | tcp.h | 94 uint16_t ack:1; member in struct:tcphdr::__anon318::__anon319 102 uint16_t ack:1; member in struct:tcphdr::__anon318::__anon319
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_802154.c | 142 frame_802154_format(uint8_t *buf, uint8_t seq, uint16_t intra_pan, uint16_t ack, argument 152 ack = (uint16_t)(ack & FCF_ACK_REQ); 159 hdr->fcf |= (uint16_t)(FCF_NO_PENDING | ack);
|
H A D | pico_tcp.h | 19 uint32_t ack; variable
|
H A D | pico_tcp.c | 23 #define ACKN(f) ((f) ? (long_be(((struct pico_tcp_hdr *)((f)->transport_hdr))->ack)) : 0) 529 } else if (hdr->flags == PICO_TCP_ACK) { /* pure ack */ 791 hdr->ack = long_be(t->rcv_nxt); 923 hdr->ack = long_be(ts->rcv_nxt); 934 hdr->ack = long_be(ts->rcv_nxt); 958 tcp_dbg("DBG> [tcp output] state: %02x --> local port:%u remote port: %u seq: %08x ack: %08x flags: %02x = t_len: %u, hdr: %u payload: %d\n", 1307 hdr->ack = long_be(t->rcv_nxt); 1358 hdr->ack = long_be(t->rcv_nxt); 1378 /* in synchronized state: send RST with seq = ack from previous segment */ 1380 ret = tcp_do_send_rst(s, hdr_rcv->ack); 2023 uint32_t una, nxt, ack, cur; local 2723 int (*ack)(struct pico_socket *s, struct pico_frame *f); member in struct:tcp_action_entry [all...] |
H A D | pico_dev_ppp.c | 915 uint8_t ack[ppp->len + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE + sizeof(struct pico_lcp_hdr) + PPP_FCS_SIZE + 1]; local 916 struct pico_lcp_hdr *ack_hdr = (struct pico_lcp_hdr *) (ack + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE); 918 memcpy(ack + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE, ppp->pkt, ppp->len); 923 pico_ppp_ctl_send(&ppp->dev, PPP_PROTO_LCP, ack, 950 uint8_t ack[ppp->len + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE + sizeof(struct pico_lcp_hdr) + PPP_FCS_SIZE + 1]; local 951 struct pico_lcp_hdr *ack_hdr = (struct pico_lcp_hdr *) (ack + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE); 953 memcpy(ack + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE, ppp->pkt, ppp->len); 958 pico_ppp_ctl_send(&ppp->dev, PPP_PROTO_LCP, ack, 1124 uint8_t ack[ppp->len + PPP_HDR_SIZE + PPP_PROTO_SLOT_SIZE + sizeof(struct pico_lcp_hdr) + PPP_FCS_SIZE + 1]; local 1125 struct pico_ipcp_hdr *ack_hdr = (struct pico_ipcp_hdr *) (ack [all...] |
H A D | pico_dhcp_client.c | 788 int (*ack)(struct pico_dhcp_client_cookie *dhcpc, uint8_t *buf); member in struct:dhcp_action_entry 797 { /* event |offer |ack |nak |T1 |T2 |lease |retransmit */ 832 dhcp_action_call(dhcp_fsm[dhcpc->state].ack, dhcpc, buf);
|
H A D | pico_tftp.c | 102 void (*ack)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port); member in struct:automa_events 876 fsm[session->state].ack(session, len, a, port);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 549 static inline void i2c_handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t ack, void *ack_data) argument 556 int UNUSED error = ack(ack_data);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
H A D | i8259.c | 70 unsigned char isr_ack; /* Interrupt ack detection */ 171 /* Clear the ISR, notify the ack handler. */ 404 /* Poll the pending IRQS for the highest priority IRQ, ack the IRQ: clear the ISR and IRR, and 730 i8259_irq_ack_t *ack = &irq_ack_fns[irq]; local 731 ack->callback = fn; 732 ack->cookie = cookie;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
H A D | vgic.c | 119 irq_ack_fn_t ack; member in struct:virq_handle 130 irq->ack(vcpu, irq->virq, irq->token); 283 virq->ack = ack_fn;
|