/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 24 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 D | tmu.h | 24 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 D | chardev.h | 33 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 D | fdt.h | 37 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 D | time_manager.h | 31 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 D | chardev.h | 33 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 D | fdt.h | 37 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 D | time_manager.h | 31 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 D | i2c.h | 129 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 D | dma330.h | 31 * @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 D | spi.h | 51 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 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
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 129 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 D | dma330.h | 31 * @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 D | spi.h | 51 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 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
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
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 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 D | serial.c | 23 void *token UNUSED) 39 void *token UNUSED)
|
/seL4-refos-master/libs/libplatsupport/src/ |
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 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 D | serial.c | 23 void *token UNUSED) 39 void *token UNUSED)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 34 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 D | plic.c | 34 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
|