Searched refs:cookie (Results 126 - 150 of 163) sorted by relevance

1234567

/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dproc_client_watch.c137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument
139 uint32_t deathPID = (int) cookie;
H A Dprocess.c169 proc_purge_pid_callback(struct proc_pcb *pcb, void *cookie) argument
171 uint32_t deathPID = (int) cookie;
480 proc_dspace_delete_callback(struct proc_pcb *p, void *cookie) argument
483 struct ram_dspace *dspace = (struct ram_dspace *) cookie;
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c69 @param cookie The input state structure (struct input_state*)
73 input_handle_irq(void *cookie, uint32_t irq) argument
75 struct input_state *s = (struct input_state *) cookie;
H A Dstate.c61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
/seL4-refos-master/apps/process_server/src/system/process/
H A Dproc_client_watch.c137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument
139 uint32_t deathPID = (int) cookie;
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/
H A Dvspace.c102 seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie)
112 int res = callback(access_addr, to_vaddr, cookie);
101 vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, seL4_CapRights_t rights, int cacheable, vspace_access_callback_fn callback, void *cookie) argument
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/
H A Dtest_process.c31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument
33 assert(cookie);
34 int *result = (int*) cookie;
/seL4-refos-master/apps/process_server/src/test/
H A Dtest_process.c31 test_pid_iteration_callback(struct proc_pcb *pcb, void *cookie) argument
33 assert(cookie);
34 int *result = (int*) cookie;
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_ps2.c147 void (*handle_event_callback)(keyboard_key_event_t ev, void *cookie))
248 keyboard_poll_ps2_keyevents(struct keyboard_state *state, void *cookie) argument
254 state->handle_event_callback(ev, cookie);
146 keyboard_init(struct keyboard_state *state, const ps_io_ops_t* ops, void (*handle_event_callback)(keyboard_key_event_t ev, void *cookie)) argument
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dkeyboard_ps2.c147 void (*handle_event_callback)(keyboard_key_event_t ev, void *cookie))
248 keyboard_poll_ps2_keyevents(struct keyboard_state *state, void *cookie) argument
254 state->handle_event_callback(ev, cookie);
146 keyboard_init(struct keyboard_state *state, const ps_io_ops_t* ops, void (*handle_event_callback)(keyboard_key_event_t ev, void *cookie)) argument
/seL4-refos-master/libs/libsel4allocman/src/
H A Dallocman.c76 static void allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) { argument
82 (struct allocman_freed_utspace_chunk) {size_bits, cookie};
112 void allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits);
163 return result.cookie;
365 allocman_utspace_free(alloc, chunk.cookie, chunk.size_bits);
381 seL4_Word cookie; local
388 cookie = _allocman_utspace_alloc(alloc, alloc->utspace_chunk[i].size_bits, alloc->utspace_chunk[i].type, &slot, ALLOCMAN_NO_PADDR, false, &error, 0);
390 alloc->utspace_chunks[i][alloc->utspace_chunk_count[i]].cookie = cookie;
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c76 static void allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) { argument
82 (struct allocman_freed_utspace_chunk) {size_bits, cookie};
112 void allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits);
163 return result.cookie;
365 allocman_utspace_free(alloc, chunk.cookie, chunk.size_bits);
381 seL4_Word cookie; local
388 cookie = _allocman_utspace_alloc(alloc, alloc->utspace_chunk[i].size_bits, alloc->utspace_chunk[i].type, &slot, ALLOCMAN_NO_PADDR, false, &error, 0);
390 alloc->utspace_chunks[i][alloc->utspace_chunk_count[i]].cookie = cookie;
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dtwo_level.c74 cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
87 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
228 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
/seL4-refos-master/libs/libsel4allocman/src/cspace/
H A Dtwo_level.c74 cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
87 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
228 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
/seL4-refos-master/libs/libsel4allocman/src/utspace/
H A Dsplit.c323 /* return the node as a cookie */
327 void _utspace_split_free(allocman_t *alloc, void *_split, seL4_Word cookie, size_t size_bits) argument
330 struct utspace_split_node *node = (struct utspace_split_node *)cookie;
347 uintptr_t _utspace_split_paddr(void *_split, seL4_Word cookie, size_t size_bits) argument
349 struct utspace_split_node *node = (struct utspace_split_node *)cookie;
H A Dtwinkle.c113 /* We do not support free so we return an empty cookie */
118 void _utspace_twinkle_free(allocman_t *alloc, void *_twinkle, seL4_Word cookie, size_t size_bits) argument
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprocess.h268 void sel4utils_allocated_object(void *cookie, vka_object_t object);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c323 /* return the node as a cookie */
327 void _utspace_split_free(allocman_t *alloc, void *_split, seL4_Word cookie, size_t size_bits) argument
330 struct utspace_split_node *node = (struct utspace_split_node *)cookie;
347 uintptr_t _utspace_split_paddr(void *_split, seL4_Word cookie, size_t size_bits) argument
349 struct utspace_split_node *node = (struct utspace_split_node *)cookie;
H A Dtwinkle.c113 /* We do not support free so we return an empty cookie */
118 void _utspace_twinkle_free(allocman_t *alloc, void *_twinkle, seL4_Word cookie, size_t size_bits) argument
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h268 void sel4utils_allocated_object(void *cookie, vka_object_t object);
/seL4-refos-master/libs/libmuslc/src/internal/
H A Dstdio_impl.h43 void *cookie; member in struct:_IO_FILE
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c43 vspace_allocated_object_fn allocated_object_fn, void *cookie)
53 vspace->allocated_object_cookie = cookie;
375 vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[])
379 if (common_init(vspace, vka, vspace_root, allocated_object_fn, cookie)) {
42 common_init(vspace_t *vspace, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *cookie) argument
373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c43 vspace_allocated_object_fn allocated_object_fn, void *cookie)
53 vspace->allocated_object_cookie = cookie;
375 vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[])
379 if (common_init(vspace, vka, vspace_root, allocated_object_fn, cookie)) {
42 common_init(vspace_t *vspace, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *cookie) argument
373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dintel.c852 void *cookie = dev->tx_cookies[dev->tdh]; local
856 driver->i_cb.tx_complete(driver->cb_cookie, cookie);
860 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument
887 dev->tx_cookies[dev->tdt] = cookie;
908 void *cookie; local
909 uintptr_t phys = driver->i_cb.allocate_rx_buf ? driver->i_cb.allocate_rx_buf(driver->cb_cookie, BUF_SIZE, &cookie) : 0;
914 dev->rx_cookies[dev->rdt] = cookie;

Completed in 94 milliseconds

1234567