/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 137 client_watch_notify_death_callback(struct proc_pcb *pcb, void *cookie) argument 139 uint32_t deathPID = (int) cookie;
|
H A D | process.c | 169 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 D | device_input.c | 69 @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 D | state.c | 61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | proc_client_watch.c | 137 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 D | vspace.c | 102 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 D | test_process.c | 31 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 D | test_process.c | 31 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 D | keyboard_ps2.c | 147 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 D | keyboard_ps2.c | 147 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 D | allocman.c | 76 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 D | allocman.c | 76 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 D | two_level.c | 74 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 D | two_level.c | 74 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 D | split.c | 323 /* 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 D | twinkle.c | 113 /* 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 D | process.h | 268 void sel4utils_allocated_object(void *cookie, vka_object_t object);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | state.c | 61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | split.c | 323 /* 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 D | twinkle.c | 113 /* 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 D | process.h | 268 void sel4utils_allocated_object(void *cookie, vka_object_t object);
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | stdio_impl.h | 43 void *cookie; member in struct:_IO_FILE
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 43 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 D | bootstrap.c | 43 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 D | intel.c | 852 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;
|