Searched refs:ctx_insert (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_6lowpan_ll.c | 117 static int32_t ctx_insert(struct pico_ip6 addr, uint8_t id, uint8_t size, pico_time lifetime, uint8_t flags, struct pico_device *dev) function
153 (void)ctx_insert(addr, id, size, lifetime, flags, dev);
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_6lowpan.c | 188 ret = ctx_insert(a, 13, 54, 0, PICO_IPHC_CTX_COMPRESS, NULL);
598 ctx_insert(local3, 13, 64, 0, PICO_IPHC_CTX_COMPRESS, NULL);
679 ctx_insert(ip_ctx, 13, 64, 0, PICO_IPHC_CTX_COMPRESS, NULL);
760 ctx_insert(ip2, 13, 64, 0, PICO_IPHC_CTX_COMPRESS, NULL);
|
Completed in 57 milliseconds