/seL4-test-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-test-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...] |
H A D | tqueue.h | 27 /* token to call callback with */ 29 /* callback to call */ 30 timeout_cb_fn_t callback; member in struct:__anon586 38 /* is this timeout in the callback queue? */ 84 * Register a timeout. The timeout callback will be called when tqueue_update is called and 85 * the abs_time in the timeout has passed. If the timeout has already passed, the callback will be called when 90 * @param id id to register timeout with. If the id already has a callback registered, override it. 98 * Cancel a timeout. The id is still valid, but the callback will not be called.
|
/seL4-test-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-test-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-test-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-test-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-test-master/tools/nanopb/tests/basic_stream/ |
H A D | decode_stream.c | 58 bool callback(pb_istream_t *stream, uint8_t *buf, size_t count) function 73 pb_istream_t stream = {&callback, NULL, SIZE_MAX};
|
/seL4-test-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-test-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);
|
/seL4-test-master/projects/util_libs/libplatsupport/src/ |
H A D | irqchip.h | 33 * property, parse it and call the callback function on each interrupt instance 39 * @param callback Pointer to a callback function that is called at each interrupt instance in the property. 40 * @param token Pointer to a token that is passed into the callback each time it is called. 45 irq_walk_cb_fn_t callback, void *token);
|
H A D | fdt.c | 82 int ps_fdt_walk_registers(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, reg_walk_cb_fn_t callback, void *token) argument 84 if (!io_fdt || !callback || !cookie) { 137 int error = callback(curr_pmem, i, num_regs, token); 159 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token) argument 161 if (!io_fdt || !callback || !cookie) { 240 int error = (*irqchip)->parser_fn(dtb_blob, node_offset, root_intr_controller_phandle, callback, token);
|
H A D | local_time_manager.c | 93 uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) 128 timeout.callback = callback; 92 register_cb(void *data, timeout_type_t type, uint64_t ns, uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) argument
|
/seL4-test-master/tools/nanopb/ |
H A D | pb_decode.h | 16 * a callback function to read the bytes from your storage, which can be 19 * The callback must conform to these rules: 24 * 3) Your callback may be used with substreams, in which case bytes_left 33 * gives an error if someone tries to assign callback function. 35 int *callback; member in struct:pb_istream_s 37 bool (*callback)(pb_istream_t *stream, pb_byte_t *buf, size_t count); 40 void *state; /* Free field for use by callback implementation */
|
H A D | pb_encode.h | 16 * a callback function to write the bytes to your storage, which can be 19 * The callback must conform to these rules: 23 * 3) pb_write will update bytes_written after your callback runs. 32 * gives an error if someone tries to assign callback function. 36 int *callback; member in struct:pb_ostream_s 38 bool (*callback)(pb_ostream_t *stream, const pb_byte_t *buf, size_t count); 40 void *state; /* Free field for use by callback implementation. */ 132 * structure. Call this from the callback before writing out field contents. */ 136 * if you want to write out packed arrays from a callback field. */
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 290 ltimer_init_common(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument 294 pc99_ltimer->user_callback = callback; 308 static int ltimer_hpet_init_internal(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, argument 313 int error = ltimer_init_common(ltimer, ops, callback, callback_token); 364 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument 373 return ltimer_pit_init(ltimer, ops, callback, callback_token); 376 return ltimer_hpet_init_internal(ltimer, ops, callback, callback_token); 381 ltimer_callback_fn_t callback, void *callback_token) 388 return ltimer_hpet_init_internal(ltimer, ops, callback, callback_token); 391 int ltimer_pit_init_freq(ltimer_t *ltimer, ps_io_ops_t ops, uint64_t freq, ltimer_callback_fn_t callback, argument 380 ltimer_hpet_init(ltimer_t *ltimer, ps_io_ops_t ops, ps_irq_t irq, pmem_region_t region, ltimer_callback_fn_t callback, void *callback_token) argument 415 ltimer_pit_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument [all...] |
/seL4-test-master/projects/musllibc/src/thread/ |
H A D | synccall.c | 19 static void (*callback)(void *), *context; variable 40 callback(context); 72 callback = func; 152 /* Serialize execution of callback in caught threads. */ 165 * caller, have returned from the callback function. */
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 125 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument 137 .user_callback = callback, 144 .user_callback = callback,
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/ |
H A D | ltimer.c | 93 int ltimer_default_init(ltimer_t *ltimer, ps_io_ops_t ops, ltimer_callback_fn_t callback, void *callback_token) argument 119 error = gpt_create(&omap_ltimer->abs_gpt, ops, GPT1_DEVICE_PATH, callback, callback_token); 125 error = gpt_create(&omap_ltimer->rel_gpt, ops, GPT2_DEVICE_PATH, callback, callback_token);
|