/seL4-test-master/projects/musllibc/src/search/ |
H A D | tdestroy.c | 8 struct node *right; member in struct:node 18 tdestroy(r->right, freekey);
|
H A D | tsearch_avl.c | 13 struct node *right; member in struct:node 18 return (n->left ? n->left->height:0) - (n->right ? n->right->height:0); 25 if (n->right && n->right->height > n->height) 26 n->height = n->right->height; 31 struct node *r = n->right; 32 n->right = r->left; 41 n->left = l->right; 42 l->right [all...] |
/seL4-test-master/projects/musllibc/src/signal/ |
H A D | sigandset.c | 6 int sigandset(sigset_t *dest, const sigset_t *left, const sigset_t *right) argument 8 unsigned long i = 0, *d = (void*) dest, *l = (void*) left, *r = (void*) right;
|
H A D | sigorset.c | 6 int sigorset(sigset_t *dest, const sigset_t *left, const sigset_t *right) argument 8 unsigned long i = 0, *d = (void*) dest, *l = (void*) left, *r = (void*) right;
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | split.c | 133 struct utspace_split_node *left, *right; local 178 right = _new_node(alloc); 179 if (!right) { 180 ZF_LOGV("Failed to allocate right node"); 189 _delete_node(alloc, right); 195 sel4_error = seL4_Untyped_Retype(node->ut.capPtr, seL4_UntypedObject, size_bits, right->ut.root, right->ut.dest, 196 right->ut.destDepth, right->ut.offset, 1); 200 _delete_node(alloc, right); [all...] |
/seL4-test-master/projects/musllibc/src/regex/ |
H A D | regcomp.c | 111 holds all but the last, and `right' part holds the last subexpression 115 tre_ast_node_t *right; member in struct:__anon405 136 tre_ast_node_t *right; member in struct:__anon407 188 tre_ast_new_union(tre_mem_t mem, tre_ast_node_t *left, tre_ast_node_t *right) argument 194 return right; 197 if (!node || !right) 200 un->right = right; 201 node->num_submatches = left->num_submatches + right->num_submatches; 206 tre_ast_new_catenation(tre_mem_t mem, tre_ast_node_t *left, tre_ast_node_t *right) argument 1360 tre_ast_node_t *right = cat->right; local 1443 tre_ast_node_t *right = uni->right; local 1588 tre_ast_node_t *right = tre_stack_pop_voidptr(stack); local [all...] |
/seL4-test-master/tools/nanopb/tests/cyclic_messages/ |
H A D | encode_cyclic_callback.c | 46 tree.right.funcs.encode = encode_tree; 47 tree.right.arg = p;
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | sglib.h | 728 #define SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, iteratedVariable, order, left, right, command) {\ 748 _right_[_pathi_] = _cn_->right;\ 773 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, left, right, command) {\ 774 SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, 1, left, right, command);\ 777 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS_PREORDER(type, tree, _current_element_, left, right, command) {\ 778 SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, 0, left, right, command);\ 781 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS_POSTORDER(type, tree, _current_element_, left, right, command) {\ 782 SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, 2, left, right, command);\ 785 #define SGLIB___BIN_TREE_FIND_MEMBER(type, tree, elem, left, right, comparator, res) {\ 792 else if (_c_ > 0) _s_ = _s_->right;\ [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | guest_memory.c | 60 struct res_tree *right; member in struct:res_tree 80 SGLIB_DEFINE_RBTREE_PROTOTYPES(res_tree, left, right, color_field, reservation_node_cmp); 81 SGLIB_DEFINE_RBTREE_FUNCTIONS(res_tree, left, right, color_field, reservation_node_cmp);
|
/seL4-test-master/kernel/manual/parts/ |
H A D | ipc.tex | 113 Trying to Send or Call without the Write right will fail and return an error. In 115 there is no way of knowing that a send has failed because of missing right. 117 does not have the Read right will raise a fault, see \autoref{sec:faults}. This 146 capabilities using an endpoint capability without the Grant right will 243 receiver TCB. The Grant right of that reply capability is set by copying the Grant 244 right of the endpoint capability invoked by the receiver in 261 \obj{Endpoint}. A reply capability has implicitly the Write right, so the 263 if the reply capability has the Grant right and is done in exactly the same way
|
H A D | objects.tex | 183 % \hyphenation) makes it overrun the right margin. GBR knows an easy way to 220 right to send a reply message and wake up the caller, meaning that the 297 capabilities can have the grant right, which allows sending
|
H A D | vspace.tex | 266 An \obj{ASID Pool} confers the right to create a subset of the available
|
H A D | cspace.tex | 148 Grant, having GrantReply or not is irrelevant. The meaning of each right is interpreted 176 \caption{\label{tab:rights}seL4 access rights: What a specific right entitles a
|
H A D | io.tex | 124 with a hardware device on the PCI bus. It represents the right to
|