Searched refs:token (Results 1 - 25 of 101) sorted by relevance

12345

/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dtmu.h24 int level, int rising, void* token);
61 * @param[in] token A token to pass, unmodified, to the callback
69 void* token);
78 * @param[in] token A token to pass, unmodified, to the callback
86 void* token);
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/
H A Dtmu.h24 int level, int rising, void* token);
61 * @param[in] token A token to pass, unmodified, to the callback
69 void* token);
78 * @param[in] token A token to pass, unmodified, to the callback
86 void* token);
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dchardev.h33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token);
38 /// A token to pass unmodified to callback
39 void* token; member in struct:chardev_xmit_descriptor
53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token);
54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token);
137 * @param[in] token An anonymous pointer to pass, unmodified, to the provided
148 chardev_callback_t callback, void* token)
150 return d->read(d, data, size, callback, token);
161 * @param[in] token An anonymous pointer to pass, unmodified, to the provided
172 chardev_callback_t callback, void* token)
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.h37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token);
49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
85 * @param token Pointer to be passed into the callback function when it is called.
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);
106 * @param token Pointer to be passed into the callback function when it is called.
113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token);
H A Dtime_manager.h31 typedef int (*timeout_cb_fn_t)(uintptr_t token);
78 * @param token token to pass to the callback function.
82 uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token);
150 uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) {
152 return tm->register_cb(tm->data, type, ns, start, id, callback, token);
162 * @param token token to pass to the callback function.
166 timeout_cb_fn_t callback, uintptr_t token)
169 return tm->register_cb(tm->data, TIMEOUT_ABSOLUTE, abs_ns, 0, id, callback, token);
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...]
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dchardev.h33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token);
38 /// A token to pass unmodified to callback
39 void* token; member in struct:chardev_xmit_descriptor
53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token);
54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token);
137 * @param[in] token An anonymous pointer to pass, unmodified, to the provided
148 chardev_callback_t callback, void* token)
150 return d->read(d, data, size, callback, token);
161 * @param[in] token An anonymous pointer to pass, unmodified, to the provided
172 chardev_callback_t callback, void* token)
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.h37 typedef int (*reg_walk_cb_fn_t)(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token);
49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
85 * @param token Pointer to be passed into the callback function when it is called.
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);
106 * @param token Pointer to be passed into the callback function when it is called.
113 int ps_fdt_walk_irqs(ps_io_fdt_t *io_fdt, ps_fdt_cookie_t *cookie, irq_walk_cb_fn_t callback, void *token);
H A Dtime_manager.h31 typedef int (*timeout_cb_fn_t)(uintptr_t token);
78 * @param token token to pass to the callback function.
82 uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token);
150 uint64_t start, uint32_t id, timeout_cb_fn_t callback, uintptr_t token) {
152 return tm->register_cb(tm->data, type, ns, start, id, callback, token);
162 * @param token token to pass to the callback function.
166 timeout_cb_fn_t callback, uintptr_t token)
169 return tm->register_cb(tm->data, TIMEOUT_ABSOLUTE, abs_ns, 0, id, callback, token);
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...]
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/
H A Di2c.h129 typedef void (*i2c_aas_callback_fn)(i2c_bus_t *bus, enum i2c_mode, void *token);
142 typedef void (*i2c_callback_fn)(i2c_bus_t *bus, enum i2c_stat, size_t size, void *token);
157 i2c_callback_fn cb, void *token);
160 i2c_callback_fn cb, void *token);
207 i2c_callback_fn cb, void *token);
209 i2c_callback_fn cb, void *token);
211 i2c_aas_callback_fn cb, void *token);
219 void *token; member in struct:i2c_bus
345 * @param[in] token Client-specific data that the driver returns unchanged.
348 i2c_aas_callback_fn cb, void *token)
347 i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument
408 i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
[all...]
H A Ddma330.h31 * @param[in] token The token that the caller registered with this callback.
34 typedef int (*dma330_signal_cb)(dma330_t* dma330, int signal, uintptr_t pc, uint32_t status, void* token);
62 * @param[in] token A token to pass, unmodified, to the callback.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
H A Dspi.h51 typedef void (*spi_callback_fn)(spi_bus_t* spi_bus, int status, void* token);
102 * @param[in] token A token to pass, unmodified, to the callback function.
105 void* rxdata, size_t rxcnt, spi_callback_fn cb, void* token);
/seL4-refos-master/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
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Di2c.h129 typedef void (*i2c_aas_callback_fn)(i2c_bus_t *bus, enum i2c_mode, void *token);
142 typedef void (*i2c_callback_fn)(i2c_bus_t *bus, enum i2c_stat, size_t size, void *token);
157 i2c_callback_fn cb, void *token);
160 i2c_callback_fn cb, void *token);
207 i2c_callback_fn cb, void *token);
209 i2c_callback_fn cb, void *token);
211 i2c_aas_callback_fn cb, void *token);
219 void *token; member in struct:i2c_bus
345 * @param[in] token Client-specific data that the driver returns unchanged.
348 i2c_aas_callback_fn cb, void *token)
347 i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument
408 i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument
[all...]
H A Ddma330.h31 * @param[in] token The token that the caller registered with this callback.
34 typedef int (*dma330_signal_cb)(dma330_t* dma330, int signal, uintptr_t pc, uint32_t status, void* token);
62 * @param[in] token A token to pass, unmodified, to the callback.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
H A Dspi.h51 typedef void (*spi_callback_fn)(spi_bus_t* spi_bus, int status, void* token);
102 * @param[in] token A token to pass, unmodified, to the callback function.
105 void* rxdata, size_t rxcnt, spi_callback_fn cb, void* token);
/seL4-refos-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
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dfdt.c82 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
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
240 int error = (*irqchip)->parser_fn(dtb_blob, node_offset, root_intr_controller_phandle, callback, token);
249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
251 index_helper_token_t *helper_token = token;
283 index_helper_token_t token = { .io_ops = io_ops, .desired_offset = offset }; local
286 &token);
292 *ret_pmem = token.region;
295 return token
298 irq_index_helper_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
334 index_helper_token_t token = { .io_ops = io_ops, .desired_offset = offset, local
[all...]
H A Dserial.c23 void *token UNUSED)
39 void *token UNUSED)
/seL4-refos-master/libs/libplatsupport/src/
H A Dfdt.c82 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
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
240 int error = (*irqchip)->parser_fn(dtb_blob, node_offset, root_intr_controller_phandle, callback, token);
249 static int register_index_helper_walker(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument
251 index_helper_token_t *helper_token = token;
283 index_helper_token_t token = { .io_ops = io_ops, .desired_offset = offset }; local
286 &token);
292 *ret_pmem = token.region;
295 return token
298 irq_index_helper_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
334 index_helper_token_t token = { .io_ops = io_ops, .desired_offset = offset, local
[all...]
H A Dserial.c23 void *token UNUSED)
39 void *token UNUSED)
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/
H A Dplic.c34 irq_walk_cb_fn_t callback, void *token)
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-refos-master/libs/libplatsupport/src/arch/riscv/irqchip/
H A Dplic.c34 irq_walk_cb_fn_t callback, void *token)
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

Completed in 120 milliseconds

12345