Searched refs:free_node (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ | ||
H A D | io.c | 51 static void free_node(io_mapping_t *node) function 73 free_node(ret); 79 free_node(ret); 99 free_node(mapping); |
Completed in 80 milliseconds