Lines Matching defs:node
51 static void free_node(io_mapping_t *node)
53 assert(node);
54 if (node->caps) {
55 free(node->caps);
57 if (node->alloc_cookies) {
58 free(node->alloc_cookies);
60 free(node);
102 static void insert_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node)
104 node->prev = NULL;
105 node->next = io_mapper->head;
107 io_mapper->head->prev = node;
109 io_mapper->head = node;
123 static void remove_node(sel4platsupport_io_mapper_cookie_t *io_mapper, io_mapping_t *node)
125 if (node->prev) {
126 node->prev->next = node->next;
128 assert(io_mapper->head == node);
129 io_mapper->head = node->next;
131 if (node->next) {
132 node->next->prev = node->prev;
152 ZF_LOGE("Failed to allocate node for %zu pages", mapping->num_pages);
191 /* fill out and insert node */
253 /* clean up the node */