Searched refs:destopt (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_ipv6.h116 } destopt;
H A Dpico_6lowpan.c873 len = IPV6_OPTLEN(ext->ext.destopt.len); // Length in bytes
874 ext->ext.destopt.len = (uint8_t)(len - 2); // Octets after len-field
878 len = IPV6_OPTLEN(ext->ext.destopt.len); // Length in bytes
879 ext->ext.destopt.len = (uint8_t)(len - 2); // Octets after len-field
883 len = IPV6_OPTLEN(ext->ext.destopt.len); // Length in bytes
884 ext->ext.destopt.len = (uint8_t)(len - 2); // Octets after len-field
1033 ext->ext.destopt.len = (uint8_t)((alloc / 8) - 1);
H A Dpico_ipv6.c610 static int pico_ipv6_process_destopt(struct pico_ipv6_exthdr *destopt, struct pico_frame *f, uint32_t opt_ptr) argument
616 option = ((uint8_t *)&destopt->ext.destopt) + sizeof(struct destopt_s);
617 len = (uint8_t)(((destopt->ext.destopt.len + 1) << 3) - 2); /* len in bytes, minus nxthdr and len byte */
763 cur_optlen = IPV6_OPTLEN(exthdr->ext.destopt.len);

Completed in 140 milliseconds