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

/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c113 irq_server_node_t *new_node = NULL; local
114 ps_calloc(malloc_ops, 1, sizeof(irq_server_node_t), (void **) &new_node);
115 if (new_node) {
116 new_node->ntfn = ntfn;
117 new_node->max_irqs_bound = max_irqs_bound;
119 return new_node;
161 irq_server_node_t *new_node = NULL; local
214 new_node = irq_server_node_new(ntfn_to_use, max_irqs_bound, irq_server->malloc_ops);
215 if (new_node == NULL) {
223 new_thread->node = new_node;
[all...]
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c63 static io_mapping_t *new_node(size_t num_pages) function
149 io_mapping_t *mapping = new_node(BYTES_TO_SIZE_BITS_PAGES(size, page_size_bits));

Completed in 74 milliseconds