Searched refs:irq_server_thread_t (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c34 typedef struct irq_server_thread irq_server_thread_t; typedef in typeref:struct:irq_server_thread
44 irq_server_thread_t *next;
52 irq_server_thread_t *server_threads;
69 static void irq_server_node_handle_irq(irq_server_thread_t *thread_info,
125 static void _irq_thread_entry(irq_server_thread_t *my_thread_info, ps_irq_ops_t *irq_ops)
159 irq_server_thread_t *new_thread = NULL;
203 error = ps_calloc(irq_server->malloc_ops, 1, sizeof(irq_server_thread_t), (void **) &new_thread);
273 ps_free(irq_server->malloc_ops, sizeof(irq_server_thread_t), new_node);
293 irq_server_node_handle_irq((irq_server_thread_t *) thread_info_ptr, &(irq_server->irq_ops), badge);
307 irq_server_thread_t *s
[all...]

Completed in 23 milliseconds