Searched refs:callback (Results 1 - 25 of 88) sorted by relevance

1234

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dns_client.h43 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 Dpico_dns_sd.h34 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 Dpico_dhcp_client.h16 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 Dpico_mdns.h131 * @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 Dpico_dns_client.c37 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 Dserver.c11 static void callback(void *arg) { function
21 int error = ready_reg_callback(callback, &ret);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4IOAPICHardwareInterrupt.template.c76 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 DseL4Notification-to.template.c17 * 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 DseL4NotificationQueue-to.template.c57 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 Davic.c23 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 Dtegra.c31 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 Domap3.c23 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 Dgic.c41 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 Dpack.h39 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 Dtime_manager.h63 * 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 Dirq.h88 * 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 Dchardev.h37 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 Dfdt.h28 * 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 Dtimer.h35 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 Ddns_parse.c3 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 Dplic.c34 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 Ddl_iterate_phdr.c7 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 Dchap_api_dhcp_c.tex10 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 Dltimer.c111 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 Dirq_server.h107 * 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);

Completed in 281 milliseconds

1234