Searched defs:pico_device_destroy (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_dev_loop.c16 void pico_device_destroy(struct pico_device *dev) function
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_device.c271 void pico_device_destroy(struct pico_device *dev) function

Completed in 45 milliseconds