/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dns_client.h | 43 int pico_dns_client_getaddr(const char *url, void (*callback)(char *ip, void *arg), void *arg); 44 int pico_dns_client_getname(const char *ip, void (*callback)(char *url, void *arg), void *arg); 46 int pico_dns_client_getaddr6(const char *url, void (*callback)(char *, void *), void *arg); 47 int pico_dns_client_getname6(const char *url, void (*callback)(char *, void *), void *arg);
|
H A D | pico_dns_sd.h | 34 void (*callback)(pico_mdns_rtree *, 49 * @param callback Callback-function to call when the service is registered. 58 void (*callback)(pico_mdns_rtree *, 67 * @param callback Callback to call when something particular happens. 72 void (*callback)(pico_mdns_rtree *,
|
H A D | pico_dhcp_client.h | 16 int pico_dhcp_initiate_negotiation(struct pico_device *device, void (*callback)(void*cli, int code), uint32_t *xid); 26 /* possible codes for the callback */
|
H A D | pico_mdns.h | 131 * @param callback Callback to call when records are found for the query. 136 void (*callback)(pico_mdns_rtree *, 146 * @param callback Callback to call when all record are properly claimed. 151 void (*callback)(pico_mdns_rtree *, 161 * Init-callback will be called when the hostname-record is successfully 165 * @param arg Argument to pass to the init-callback. 183 * Sets up the global mDNS socket properly and calls callback when succeeded. 189 * @param callback Callback to call when the hostname is registered and 190 * also the global mDNS module callback. Gets called when 192 * tracked in this callback [all...] |
H A D | pico_dns_client.c | 37 static int pico_dns_client_getaddr_init(const char *url, uint16_t proto, void (*callback)(char *, void *), void *arg); 61 void (*callback)(char *, void *); member in struct:pico_dns_query 153 void (*callback)(char *, void *), void *arg) 168 q->callback = callback; 418 q->callback(NULL, q->arg); 491 q->callback(str, q->arg); 545 pico_dns_client_getaddr_init(cname, proto, q->callback, q->arg); 687 static int pico_dns_client_getaddr_check(const char *url, void (*callback)(char *, void *)) 689 if (!url || !callback) { [all...] |
/seL4-camkes-master/projects/camkes/apps/binary-semaphore/src/ |
H A D | server.c | 11 static void callback(void *arg) { function 21 int error = ready_reg_callback(callback, &ret);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4IOAPICHardwareInterrupt.template.c | 76 void (*callback)(void*) = callbacks[i]; 77 if (callback != NULL) { 79 callback(callback_args[i]); 113 int /*? me.interface.name ?*/_reg_callback(void (*callback)(void*), void *arg) { argument 116 if (CAS(&callbacks[i], NULL, callback) == NULL) {
|
H A D | seL4Notification-to.template.c | 17 * notification, `handoff`. We also preference any registered callback 18 * over this forwarding. The callback registration checks to see if there is a 19 * pending event and, if so, invokes the callback immediately to short circuit 21 * that we only operate on the callback slot while holding an internal lock. 25 * where there is both a registered callback and a pending notification on the 26 * `handoff` endpoint. We also strive to never invoke the caller's callback 69 static void (*callback)(void*); variable 83 /* Read and deregister any callback. */ 84 void (*cb)(void*) = callback; 85 callback [all...] |
H A D | seL4NotificationQueue-to.template.c | 57 static void (*volatile callback)(void*); variable 84 void (*cb)(void*) = callback; 85 callback = NULL; 152 } else if (callback != NULL) { 158 callback = cb;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 23 irq_walk_cb_fn_t callback, void *token) 33 int error = callback(irq, 0, FSL_AVIC_INT_CELL_COUNT, token); 22 parse_fsl_avic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, irq_walk_cb_fn_t callback, void *token) argument
|
H A D | tegra.c | 31 irq_walk_cb_fn_t callback, void *token) 44 return (*irqchip)->parser_fn(dtb_blob, node_offset, intr_controller_phandle, callback, token); 30 parse_tegra_ictlr_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, irq_walk_cb_fn_t callback, void *token) argument
|
H A D | omap3.c | 23 irq_walk_cb_fn_t callback, void *token) 38 int error = callback(irq, 0, TI_OMAP3_INT_CELL_COUNT, token); 22 parse_ti_omap3_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, irq_walk_cb_fn_t callback, void *token) argument
|
H A D | gic.c | 41 irq_walk_cb_fn_t callback, void *token) 73 int error = callback(curr_irq, i, num_interrupts, token); 40 parse_arm_gic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, irq_walk_cb_fn_t callback, void *token) argument
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | pack.h | 39 msgpack_packer_write callback; member in struct:msgpack_packer 42 static void msgpack_packer_init(msgpack_packer* pk, void* data, msgpack_packer_write callback); 44 static msgpack_packer* msgpack_packer_new(void* data, msgpack_packer_write callback); 119 return (*(user)->callback)((user)->data, (const char*)buf, len) 123 inline void msgpack_packer_init(msgpack_packer* pk, void* data, msgpack_packer_write callback) argument 126 pk->callback = callback; 129 inline msgpack_packer* msgpack_packer_new(void* data, msgpack_packer_write callback) argument 133 msgpack_packer_init(pk, data, callback);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | time_manager.h | 63 * Register a callback to call when a specific timeout id fires. The implementation does not spin and 64 * other threads may run. The callback will be called on the stack of the thread that calls tm_update. 67 * The callback is allowed to re- or de-register itself. 69 * Only one callback can be registered per id. If a callback is already registered for this specific id 74 * @param start timestamp to first call the callback. If value is 0 or already passed. 75 * the callback will be called ns time after this function is called. 76 * @param id id obtained from tm_new_id. If this id already exists the callback will be updated. 77 * @param callback the callback t 149 tm_register_cb(time_manager_t *tm, timeout_type_t type, uint64_t ns, uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument 165 tm_register_abs_cb(time_manager_t *tm, uint64_t abs_ns, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument 183 tm_register_rel_cb(time_manager_t *tm, uint64_t rel_ns, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument 203 tm_register_periodic_cb(time_manager_t *tm, uint64_t period_ns, uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument [all...] |
H A D | irq.h | 88 * callback is responsible for acknowledging the interrupt via the supplied 97 * @param data Pointer to data which is passed into the callback function 105 * keep track of the interrupt. Also associates a callback function with the 113 * @param callback Callback function that is called when the interrupt arrives 114 * @param callback_data Pointer that is to be passed into the callback function 118 typedef irq_id_t (*ps_irq_register_fn_t)(void *cookie, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data); 137 static inline int ps_irq_register(ps_irq_ops_t *irq_ops, ps_irq_t irq, irq_callback_fn_t callback, void *callback_data) argument 140 return irq_ops->irq_register_fn(irq_ops->cookie, irq, callback, callback_data);
|
H A D | chardev.h | 37 chardev_callback_t callback; member in struct:chardev_xmit_descriptor 38 /// A token to pass unmodified to callback 134 * @param[in] callback Optional: A function to call when the requested number of 138 * callback function. 140 * values reprents an error. If a callback function is 142 * If no callback funtion is provided, this function will 148 chardev_callback_t callback, void* token) 150 return d->read(d, data, size, callback, token); 158 * @param[in] callback Optional: A function to call when the requested number of 162 * callback functio 147 ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument 171 ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, chardev_callback_t callback, void* token) argument [all...] |
H A D | fdt.h | 28 * Type of the callback function that is called for each device register instance 40 * Type of the callback function that is called for each device interrupt 79 * cookie passed in and calls a callback function at each register instance of 84 * @param callback Pointer to a callback function that is called at each register instance of the property. 85 * @param token Pointer to be passed into the callback function when it is called. 90 * - the error returned by the callback function 93 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token); 97 * corresponding to the cookie passed in and calls a callback function at each 105 * @param callback Pointe [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | timer.h | 35 ltimer_callback_fn_t callback, void *callback_token); 39 int ltimer_pit_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token); 41 int ltimer_pit_init_freq(ltimer_t *ltimer, ps_io_ops_t ops, uint64_t tsc_freq, ltimer_callback_fn_t callback,
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | dns_parse.c | 3 int __dns_parse(const unsigned char *r, int rlen, int (*callback)(void *, int, const void *, int, const void *), void *ctx) 28 if (callback(ctx, p[1], p+10, len, r) < 0) return -1;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 34 irq_walk_cb_fn_t callback, void *token) 64 /* Loop through each cell and call the callback */ 73 int error = callback(irq, i, total_cells, token); 33 parse_riscv_plic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, irq_walk_cb_fn_t callback, void *token) argument
|
/seL4-camkes-master/projects/musllibc/src/ldso/ |
H A D | dl_iterate_phdr.c | 7 static int static_dl_iterate_phdr(int(*callback)(struct dl_phdr_info *info, size_t size, void *data), void *data) 39 return (callback)(&info, sizeof (info), data);
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_dhcp_c.tex | 10 Initiate a DHCP negotiation. The user passes a callback-function, which will be executed on DHCP success or failure. 15 void (*callback)(void *cli, int code), uint32_t *xid); 22 \item \texttt{callback} - the function which is executed on success or failure. This function can be called multiple times. F.e.: initially DHCP succeeded, then the DHCP server is removed long enough from the network for the lease to expire, later the server is added again to the network. The callback is called 3 times: first with code \texttt{PICO\_DHCP\_SUCCESS}, then with \texttt{PICO\_DHCP\_RESET} and finally with \texttt{PICO\_DHCP\_SUCCESS}. The callback may be called before \texttt{pico\_dhcp\_initiate\_negotiation} has returned, f.e. in case of failure to open a socket. The callback has two parameters: 41 All errors are reported through the callback-function described above. 63 Cancel the ongoing negotiation. To be used if the operation of obtaining an IP address from a remote DHCP server needs to be aborted, before the callback has been triggered. 80 Get the identifier needed to pass to all other \texttt{pico\_dhcp} functions. This function should only be called after a callback occurred with code \texttt{PICO\_DHCP\_SUCCESS}. 104 Get the address that was assigned through DHCP. This function should only be called after a callback occurre [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 111 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument 122 error = imx_init_timestamp(&imx_ltimer->timers, ops, callback, callback_token); 133 error = imx_init_timeout(&imx_ltimer->timers, ops, callback, callback_token);
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | irq_server.h | 107 * Enable an IRQ and register a callback function. This functionality is 111 * @param[in] callback A callback function to call when the requested IRQ arrives 119 irq_callback_fn_t callback, void *callback_data);
|