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 Dirq_server.c32 } 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