/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hub.c | 29 int _set_pf(void *token, int port, enum port_feature feature) argument 80 int _clr_pf(void *token, int port, enum port_feature feature) argument 135 int _get_pstat(void *token, int port, struct port_status *_ps) argument
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | otg.c | 47 int otg_ep0_setup(usb_otg_t otg, otg_setup_cb cb, void *token) argument 56 otg_prime(usb_otg_t otg, int ep, enum usb_xact_type dir, void *vbuf, uintptr_t pbuf, int len, otg_prime_cb cb, void *token) argument
|
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | plat.c | 26 ssize_t plat_serial_write(void *buf, size_t buf_size, chardev_callback_t cb, void *token) argument 32 ssize_t plat_serial_read(void *buf, size_t buf_size, chardev_callback_t cb, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | tqueue.h | 28 uintptr_t token; member in struct:__anon687
|
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-camkes-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 | 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-camkes-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-camkes-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-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | jsmn.c | 47 static void jsmn_fill_token(jsmntok_t *token, jsmntype_t type, argument 60 jsmntok_t *token; local 109 jsmntok_t *token; local 178 jsmntok_t *token; local [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/ |
H A D | xenbus.h | 33 char *token; member in struct:xenbus_event::__anon911::__anon912 179 char *token; member in struct:xenbus_watch
|
/seL4-camkes-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-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | mouse.c | 50 static int mouse_irq_handler(void* token, enum usb_xact_status stat, int bytes_remaining) argument 33 mouse_read(ps_chardevice_t* d, void* vdata, size_t bytes, chardev_callback_t cb, void* token) argument
|
H A D | otgusbtty.c | 101 freebuf_cb(usb_otg_t otg, void* token, argument 204 usbtty_setup_cb(usb_otg_t otg, void* token, struct usbreq* req) argument
|
H A D | hid.c | 86 usb_hid_config_cb(void *token, int cfg, int iface, struct anon_desc *desc) argument
|
/seL4-camkes-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-camkes-master/projects/lwip/src/core/ |
H A D | def.c | 105 lwip_strnstr(const char *buffer, const char *token, size_t n) argument
|
/seL4-camkes-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-camkes-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
|