Searched defs:register_callback_handler_fn_t (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/include/ |
| H A D | picotcp-socket-sync.h | 19 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char*, void (*callback_handler)(seL4_Word, void *), typedef
|
| /seL4-camkes-master/projects/global-components/components/modules/picotcp-base/templates/ |
| H A D | pico-init.template.c | 23 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char*, void (*callback_handler)(seL4_Word, void *), typedef
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/ |
| H A D | picotcp-ethernet-async.h | 34 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char *, typedef
|
| /seL4-camkes-master/projects/global-components/components/modules/picotcp-base/ |
| H A D | picotcp-init.c | 102 typedef int (*register_callback_handler_fn_t)(seL4_Word badge, const char *, typedef
|
Completed in 92 milliseconds