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

/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c63 static io_mapping_t *new_node(size_t num_pages) function
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c113 irq_server_node_t *new_node = NULL; local
161 irq_server_node_t *new_node = NULL; local
[all...]

Completed in 87 milliseconds