/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 28 uintptr_t token; member in struct:__anon494
|
H A D | chardev.h | 39 void* token; member in struct:chardev_xmit_descriptor 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 | time_manager.h | 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 | tqueue.h | 28 uintptr_t token; member in struct:__anon925
|
H A D | chardev.h | 39 void* token; member in struct:chardev_xmit_descriptor 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 | time_manager.h | 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/src/arch/arm/irqchip/ |
H A D | tegra.c | 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 | avic.c | 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 | omap3.c | 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 | 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-refos-master/libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | tegra.c | 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 | 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 | avic.c | 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 | gic.c | 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-refos-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 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 | 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/libutils/src/ |
H A D | list.c | 94 int list_foreach(list_t *l, int(*action)(void *, void *), void *token) argument
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | list.c | 94 int list_foreach(list_t *l, int(*action)(void *, void *), void *token) argument
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | local_time_manager.c | 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-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | local_time_manager.c | 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-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 125 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 139 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | timer.c | 125 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 139 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 116 int gpio_chain_io_callback(void *data, void *token) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | gpio_utils.c | 116 int gpio_chain_io_callback(void *data, void *token) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|