/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | vmcall.c | 17 static vmcall_handler_t *get_handle(vm_t *vm, int token) argument 29 int vm_reg_new_vmcall_handler(vm_t *vm, vmcall_handler func, int token) argument 53 int token; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ |
H A D | guest_reboot.h | 26 void *token; member in struct:reboot_hook
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_reboot.c | 14 int vmm_register_reboot_callback(reboot_hooks_list_t *rb_hooks_list, reboot_hook_fn hook, void *token) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 28 uintptr_t token; member in struct:__anon586
|
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-test-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-test-master/projects/sel4test/apps/sel4test-driver/src/tests/ |
H A D | timer.c | 29 static int test_callback(uintptr_t token) argument
|
/seL4-test-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-test-master/projects/sel4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | vchan_sharemem.h | 36 int token; member in struct:vchan_shared_mem_headers
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/ |
H A D | usb.c | 29 static int usb_vm_reboot_hook(vm_t *vm, void *token) argument
|
/seL4-test-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-test-master/projects/sel4test/apps/sel4test-driver/src/ |
H A D | timer.c | 29 static int timeout_cb(uintptr_t token) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | guest_vm_arch.h | 34 int token; member in struct:vmcall_handler
|
/seL4-test-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-test-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-test-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
|
H A D | i2c_bitbang.c | 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-test-master/projects/util_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
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 152 omap4_i2c_do_xfer(i2c_slave_t *slave, void *data, size_t size, bool write, bool repeat_start, i2c_callback_fn cb, void *token) argument 230 omap4_i2c_slave_read(i2c_slave_t *slave, void *data, size_t size, bool repeat_start, i2c_callback_fn cb, void *token) argument 236 omap4_i2c_slave_write(i2c_slave_t *slave, const void *data, size_t size, bool repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 190 static int allocate_register_callback(pmem_region_t pmem, unsigned curr_num, size_t num_regs, void *token) argument 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
/seL4-test-master/kernel/tools/ |
H A D | lex.py | 329 def token(self): member in class:Lexer [all...] |