Searched refs:ctx_update (Results 1 - 3 of 3) sorted by relevance
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_6lowpan_ll.h | 56 void ctx_update(struct pico_ip6 addr, uint8_t id, uint8_t size, pico_time lifetime, uint8_t flags, struct pico_device *dev);
|
| H A D | pico_6lowpan_ll.c | 138 void ctx_update(struct pico_ip6 addr, uint8_t id, uint8_t size, pico_time lifetime, uint8_t flags, struct pico_device *dev) function
|
| H A D | pico_ipv6_nd.c | 1305 ctx_update(prefix, co->id, co->clen, co->lifetime, co->c, f->dev);
|
Completed in 86 milliseconds