Searched refs:parent (Results 1 - 25 of 90) sorted by relevance

1234

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/
H A Drbt.c34 void rbt_link_node(struct rbt_node * node, struct rbt_node * parent, argument
37 node->rbt_parent_color = (unsigned long )parent;
46 struct rbt_node *parent = rbt_parent(node); local
53 rbt_set_parent(right, parent);
55 if (parent)
57 if (node == parent->rbt_left)
58 parent->rbt_left = right;
60 parent->rbt_right = right;
70 struct rbt_node *parent = rbt_parent(node); local
77 rbt_set_parent(left, parent);
93 struct rbt_node *parent, *gparent; local
156 __rbt_erase_color(struct rbt_node *node, struct rbt_node *parent, struct rbt_root *rbt) argument
238 struct rbt_node *child, *parent; local
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Drbt.c42 void rbt_link_node(struct rbt_node * node, struct rbt_node * parent, argument
45 node->rbt_parent_color = (unsigned long )parent;
54 struct rbt_node *parent = rbt_parent(node); local
61 rbt_set_parent(right, parent);
63 if (parent)
65 if (node == parent->rbt_left)
66 parent->rbt_left = right;
68 parent->rbt_right = right;
78 struct rbt_node *parent = rbt_parent(node); local
85 rbt_set_parent(left, parent);
101 struct rbt_node *parent, *gparent; local
164 __rbt_erase_color(struct rbt_node *node, struct rbt_node *parent, struct rbt_root *root) argument
246 struct rbt_node *child, *parent; local
341 struct rbt_node *parent; local
369 struct rbt_node *parent; local
394 struct rbt_node *parent = rbt_parent(victim); local
[all...]
/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_tree.c19 &LEAF, &LEAF, &LEAF, /* parent, left,right */
27 #define AM_I_LEFT_CHILD(x) (x == x->parent->leftChild)
28 #define AM_I_RIGHT_CHILD(x) (x == x->parent->rightChild)
30 #define PARENT(x) (x->parent)
31 #define GRANPA(x) (x->parent->parent)
89 if (IS_NOT_LEAF(node->parent) && AM_I_LEFT_CHILD(node))
90 node = node->parent;
92 while (IS_NOT_LEAF(node->parent) && AM_I_RIGHT_CHILD(node))
93 node = node->parent;
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.h30 int parent; member in struct:Region
70 Region_t new_region(region_type_t type, void *start, size_t size, int parent) argument
76 r.parent = parent;
83 void* start, size_t size, int parent)
85 return add_region(region_list, new_region(type, start, size, parent));
90 void* start, const void* end, int parent)
92 return add_region(region_list, new_region(type, start, end - start, parent));
82 add_region_size(RegionList_t* region_list, region_type_t type, void* start, size_t size, int parent) argument
89 add_region_range(RegionList_t* region_list, region_type_t type, void* start, const void* end, int parent) argument
H A Dacpi.c90 int parent, int force_ptr)
96 dst->parent = parent;
109 * "parent" is the index of the parent table (index into dlist)
113 int table_index, int parent)
118 ZF_LOGD("ti %d, pi %d\n", table_index, parent);
129 index = create_copy_region(src, dlist, parent, 1);
180 if (slist->regions[i].parent == table_index) {
193 dst->parent
89 create_copy_region(const Region_t* src, RegionList_t* dlist, int parent, int force_ptr) argument
112 _acpi_copy_tables(const RegionList_t* slist, RegionList_t* dlist, int table_index, int parent) argument
[all...]
H A Dbrowser.c228 _browse_regions(const RegionList_t* rlist, int parent) argument
237 /* print table at region "parent" */
238 if (parent != NOPARENT) {
239 acpi_print_table(rlist->regions[parent].start);
250 if (r->parent == parent) {
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/
H A Drbt.h85 void rbt_link_node(struct rbt_node * node, struct rbt_node * parent, struct rbt_node ** rbt_link);
106 struct rbt_node *parent; local
122 direction of our parent. Go up the tree; any time the
123 ancestor is a right-hand child of its parent, keep going
124 up. First time it's a left-hand child of its parent, said
125 parent is our 'next' node. */
126 for (parent = rbt_parent(node); parent && node == parent->rbt_right; parent
[all...]
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Drbt.h84 void rbt_link_node(struct rbt_node * node, struct rbt_node * parent, struct rbt_node ** rbt_link);
105 struct rbt_node *parent; local
121 direction of our parent. Go up the tree; any time the
122 ancestor is a right-hand child of its parent, keep going
123 up. First time it's a left-hand child of its parent, said
124 parent is our 'next' node. */
125 for (parent = rbt_parent(node); parent && node == parent->rbt_right; parent
[all...]
/seL4-camkes-master/projects/musllibc/src/thread/
H A Dpthread_atfork.c6 void (*parent)(void); member in struct:atfork_funcs
25 if (!who && p->parent) p->parent();
33 int pthread_atfork(void (*prepare)(void), void (*parent)(void), void (*child)(void)) argument
42 new->parent = parent;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Dclock.c154 void clk_register_child(clk_t *parent, clk_t *child) argument
158 if (child->parent != NULL) {
159 /* If we are registered with a parent */
160 clk_t *sibling = parent->child;
161 /* Make sure that we are a sibling of the parent's child */
167 if (child->parent == NULL) {
168 child->parent = parent;
169 child->sibling = parent->child;
170 parent
[all...]
/seL4-camkes-master/kernel/tools/hardware/
H A Ddevice.py21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str):
23 self.parent = parent
33 if parent is not None:
34 parent.add_child(self)
35 self.depth = parent.depth + 1
36 self.is_cpu_addressable: bool = parent.is_cpu_addressable and \
61 ''' Return this node's interrupt parent's phandle '''
62 if 'interrupt-parent' not in self.props:
63 return self.parent
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dclock.c201 fin = clk_get_freq(clk->parent);
213 fin = clk_get_freq(clk->parent);
239 clk_t* parent; local
240 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER);
241 clk_register_child(parent, clk);
257 fin = clk_get_freq(clk->parent);
282 fin = clk_get_freq(clk->parent);
319 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER); local
320 clk_register_child(parent, clk);
340 p = clk_get_freq(clk->parent);
372 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER); local
406 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_PLL2); local
438 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MMDC_CH0); local
470 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_AHB); local
520 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER); local
603 clk_t* parent; local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/clock/
H A Dexynos_common_clock.c29 return clk_get_freq(clk->parent);
35 return exynos_pll_calc_freq((uint64_t)clk_get_freq(clk->parent), p, m, s);
H A Dexynos_5422_clock.c26 return exynos_pll_calc_freq((uint64_t)clk_get_freq(clk->parent), p, m, s);
/seL4-camkes-master/projects/global-components/components/ClockServer/libClockServer-client/include/
H A Dclockserver_client.h22 int (*clockserver_register_child)(clk_id_t parent, clk_id_t child),
/seL4-camkes-master/tools/rumprun/include/bmk-core/
H A Djsmn.h65 int parent; member in struct:__anon884
76 int toksuper; /* superior token node, e.g parent object or array */
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dclock.c28 fin = clk_get_freq(clk->parent);
42 fin = clk_get_freq(clk->parent);
45 fin = clk_set_freq(clk->parent, hz * (MASK(DIV_VAL_BITS) / 2 + 1));
49 fin = clk_set_freq(clk->parent, hz * (MASK(DIV_VAL_BITS) / 2 + 1));
143 clk_t* parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MASTER); local
144 clk_init(parent);
145 clk_register_child(parent, clk);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/
H A Dclock.c159 clk_t* parent; local
162 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MOUTAPLL);
166 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MUXCORE);
169 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCORE);
175 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCORE2);
178 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_ATCLK);
181 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_DIVCOPY);
184 parent = clk_get_clock(clk_get_clock_sys(clk), CLK_MUXHPM);
188 parent = NULL;
190 assert(parent);
234 clk_t* parent = NULL; local
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/ast/tests/
H A Dtestobjects.py72 # For each parent class between `c` and `ASTObject` inclusively
73 for parent in [p for p in c.__bases__
75 self.assertLessEqual(set(parent.no_hash), set(c.no_hash),
76 '%s discards no_hash members from its parent %s' %
77 (c.__name__, parent.__name__))
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/
H A Dnfs.c114 struct inode *parent)
122 if (parent) {
139 if (parent) {
140 i_pos = fat_i_pos_read(sbi, parent);
143 fid->parent_i_gen = parent->i_generation;
190 * Find the parent for a file specified by NFS handle.
191 * This requires that the handle contain the i_ino of the parent.
223 * Rebuild the parent for a directory that is not connected
231 struct inode *parent = NULL; local
239 "unable to read cluster of parent director
113 fat_encode_fh_nostale(struct inode *inode, __u32 *fh, int *lenp, struct inode *parent) argument
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage7.py88 def infer_all(item, parent=None):
97 assert parent is None or isinstance(parent, Instance)
100 if parent is None:
103 prefix = parent.name
177 e.instance = parent
191 e.instance = parent
207 p = InterfacePointer(parent, e.destination)
/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Djsmn.c39 tok->parent = -1;
98 token->parent = parser->toksuper;
131 token->parent = parser->toksuper;
198 token->parent = parser->toksuper;
220 parser->toksuper = token->parent;
223 if (token->parent == -1) {
226 token = &tokens[token->parent];
268 parser->toksuper = tokens[parser->toksuper].parent;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/
H A Dclock.c162 fin = clk_get_freq(clk->parent);
192 fin = clk_get_freq(clk->parent);
210 clk_t* parent; local
217 parent = clk_get_clock(clk->clk_sys, clk_src_peri_blk[src]);
218 assert(parent);
219 clk_init(parent);
220 clk_register_child(parent, clk);
240 fin = clk_get_freq(clk->parent);
250 fin = clk_get_freq(clk->parent);
269 clk_t* parent; local
[all...]
/seL4-camkes-master/projects/global-components/components/ClockServer/src/
H A Dclock_server.c166 int the_clock_register_child(clk_id_t parent, clk_id_t child) argument
170 if (!check_valid_clk_id(parent) || !check_valid_clk_id(child)) {
177 if (!check_clk_initialised(parent)) {
183 if (!check_is_owner(parent, client_id)) {
184 ZF_LOGE("Client is not the owner of the parent clock");
201 clk_register_child(clock_table[parent].clk, clock_table[child].clk);
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dtestcpp.py75 parent = self.mkstemp()
81 with open(parent, 'wt') as f:
84 _, read = self.reader.parse_file(parent)
86 self.assertIn(parent, read)

Completed in 302 milliseconds

1234