Searched refs:irq_server_node_t (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 32 } irq_server_node_t; typedef in typeref:struct:irq_server_node 39 irq_server_node_t *node; 84 static irq_id_t irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback, 110 static irq_server_node_t *irq_server_node_new(seL4_CPtr ntfn, size_t max_irqs_bound, 113 irq_server_node_t *new_node = NULL; 114 ps_calloc(malloc_ops, 1, sizeof(irq_server_node_t), (void **) &new_node); 161 irq_server_node_t *new_node = NULL; 265 ps_free(irq_server->malloc_ops, sizeof(irq_server_node_t), new_node);
|
Completed in 24 milliseconds