/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/plat/linux/ |
H A D | rbt.c | 34 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 D | rbt.c | 42 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 D | pico_tree.c | 19 &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 D | regions.h | 30 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 D | acpi.c | 90 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 D | browser.c | 228 _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 D | rbt.h | 85 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 D | rbt.h | 84 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 D | pthread_atfork.c | 6 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 D | clock.c | 154 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 D | device.py | 21 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 D | clock.c | 201 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 D | exynos_common_clock.c | 29 return clk_get_freq(clk->parent); 35 return exynos_pll_calc_freq((uint64_t)clk_get_freq(clk->parent), p, m, s);
|
H A D | exynos_5422_clock.c | 26 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 D | clockserver_client.h | 22 int (*clockserver_register_child)(clk_id_t parent, clk_id_t child),
|
/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | jsmn.h | 65 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 D | clock.c | 28 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 D | clock.c | 159 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 D | testobjects.py | 72 # 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 D | nfs.c | 114 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 D | stage7.py | 88 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 D | jsmn.c | 39 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 D | clock.c | 162 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 D | clock_server.c | 166 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 D | testcpp.py | 75 parent = self.mkstemp() 81 with open(parent, 'wt') as f: 84 _, read = self.reader.parse_file(parent) 86 self.assertIn(parent, read)
|