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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/
H A Dvmm_pci_helper.c111 int header_offset = PCI_HEADER_TYPE - reg; local
112 unsigned int mf_mask = ~(BIT(7) << (header_offset * 8));
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_socket.c1022 int header_offset = -1; local
1025 header_offset = pico_tcp_overhead(s);
1031 header_offset = sizeof(struct pico_udp_hdr);
1034 return header_offset;
1124 /* dbg("Pushing segment, hdr len: %d, payload_len: %d\n", header_offset, f->payload_len); */
1303 int header_offset; local
1311 header_offset = pico_socket_sendto_transport_offset(s);
1312 if (header_offset < 0) {

Completed in 206 milliseconds