Searched refs:grow_node (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ | ||
| H A D | dma.c | 152 static void grow_node(region_t *node, size_t by) function 306 grow_node(q, p->size); 333 grow_node(p, q->size); |
Completed in 79 milliseconds