/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | vm.c | 21 vm_register_unhandled_mem_fault_callback(vm_t *vm, unhandled_mem_fault_callback_fn fault_handler, void *cookie) argument 38 vm_register_notification_callback(vm_t *vm, notification_callback_fn notification_callback, void *cookie) argument
|
H A D | guest_memory_helpers.c | 10 default_error_fault_callback(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
H A D | guest_vcpu_fault.c | 14 int vmm_handle_arm_vcpu_exception(vm_vcpu_t *vcpu, uint32_t hsr, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 31 size_t cookie; member in struct:mspace_k_r_malloc
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument 33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument
|
/seL4-camkes-master/projects/musllibc/src/stdio/ |
H A D | vsnprintf.c | 7 struct cookie { struct
|
H A D | vswprintf.c | 8 struct cookie { struct
|
H A D | open_memstream.c | 6 struct cookie { struct
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4HardwareInterrupt.template.c | 210 static int /*? me.interface.name ?*/_acknowledge_cb(UNUSED void* cookie) { argument
|
/seL4-camkes-master/projects/global-components/templates/ |
H A D | seL4DTBHardwareThreadless.template.c | 172 static int /*? me.interface.name ?*/_acknowledge_cb_/*? i ?*/(UNUSED void* cookie) { argument
|
H A D | seL4GlobalAsynchHardwareInterrupt.template.c | 213 static int /*? me.interface.name ?*/_acknowledge_cb(UNUSED void* cookie) { argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | twinkle.h | 42 static inline uintptr_t _utspace_twinkle_paddr(void *_twinkle, seL4_Word cookie, size_t size_bits) { argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 10 void mspace_k_r_malloc_init(mspace_k_r_malloc_t *k_r_malloc, size_t cookie, k_r_malloc_header_t * (*morecore)(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units)) argument
|
H A D | fixed_pool.c | 18 static k_r_malloc_header_t *_morecore(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units) argument
|
H A D | vspace_pool.c | 24 static k_r_malloc_header_t *_morecore(size_t cookie, mspace_k_r_malloc_t *k_r_malloc, size_t new_units) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/sync/ |
H A D | sync.h | 18 void *cookie; member in struct:ps_mutex_ops
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | main.c | 62 void *cookie; local
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/templates/ |
H A D | picotcp-ethernet-async-server-init.template.c | 18 void default_get_mac(uint8_t *b1, uint8_t *b2, uint8_t *b3, uint8_t *b4, uint8_t *b5, uint8_t *b6, void *cookie) { argument 26 static void register_get_mac_fn(get_mac_server_fn_t get_mac, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4dma/include/dma/ |
H A D | dma.h | 38 void *cookie; member in struct:dma_mem_descriptor
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | generic_forward_device.c | 19 handle_gf_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/ |
H A D | io_port_ops.c | 28 sel4platsupport_io_port_in(void *cookie, uint32_t port, int io_size, uint32_t *result) argument 76 sel4platsupport_io_port_out(void *cookie, uint32_t port, int io_size, uint32_t val) argument 120 io_cookie_t *cookie = malloc(sizeof(*cookie)); local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | keyboard_chardev.c | 23 keyboard_cdev_handle_led_changed(void *cookie) argument
|
H A D | keyboard_vkey.c | 624 keycode_process_vkey_event(keycode_state_t *s, int32_t vkey, bool pressed, void* cookie) argument 669 keycode_process_vkey_event_to_char(keycode_state_t *s, int32_t vkey, bool pressed, void* cookie) argument 191 keycode_init(keycode_state_t *s, void (*handle_keyevent_callback)(int16_t vkey, bool pressed, void *cookie), void (*handle_chartyped_callback)(int c, void *cookie), void (*handle_led_state_changed_callback)(void *cookie)) argument
|