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

/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprocess.h28 typedef struct object_node object_node_t; typedef in typeref:struct:object_node
32 object_node_t *next;
49 object_node_t *allocated_object_list_head;
/seL4-test-master/projects/seL4_libs/libsel4utils/src/
H A Dprocess.c49 object_node_t *node = malloc(sizeof(object_node_t));
65 object_node_t *prev = process->allocated_object_list_head;

Completed in 32 milliseconds