Searched refs:object_node (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ | ||
| H A D | process.h | 28 typedef struct object_node object_node_t; 30 struct object_node { struct |
Completed in 22 milliseconds