/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage4.py | 102 obj.parent is not None and \ 103 isinstance(obj.parent.parent, Assembly):
|
H A D | fdtQueryEngine.py | 443 # from the parent 444 for p in node.parent.walk(): 451 # if the parent does have the #address-cells and 462 while curr_node.parent: 468 curr_node = curr_node.parent
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | gim.c | 90 struct rbt_node **new = &(root->rbt_node), *parent = NULL; local 97 parent = *new; 112 rbt_link_node(&xnode->node, parent, new);
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_socket_tcp.c | 119 if(s->parent) 120 s->parent->number_of_pending_conn--; 186 if(!s->parent)
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | fdt.c | 40 child.parent = node; 184 value = fdt_get_address(node->parent, value, &base); 185 value = fdt_get_size (node->parent, value, &size); 247 fdt_get_address(prop->node->parent, prop->value, ®); 324 fdt_get_address(prop->node->parent, prop->value, &scan->reg); 402 fdt_get_address(prop->node->parent, prop->value, &scan->reg); 589 fdt_get_address(prop->node->parent, prop->value, &val); 592 fdt_get_address(prop->node->parent, prop->value, &val); 641 fdt_get_address(prop->node->parent, prop->value, ®); 720 while (node->parent ! [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 254 /* Get the parent frequency */ 255 if (clk->parent) { 256 fin = clk_get_freq(clk->parent); 279 if (clk->parent) { 280 fin = clk_get_freq(clk->parent);
|
/seL4-camkes-master/kernel/include/object/ |
H A D | objecttype.h | 26 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots,
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | usb.c | 610 struct usb_dev *parent = NULL, *child = NULL; local 641 parent = hub; 643 while (parent) { 644 if (parent->speed == USBSPEED_HIGH) { 645 udev->tt_addr = parent->addr; 649 child = parent; 650 parent = parent->hub;
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Save_Option_Dialog.py | 75 def __init__(self, parent, proportional_rect=None): 80 :param parent: Parent of this QDialog 85 super(SaveOptionDialog, self).__init__(parent)
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | walker.c | 155 int parent) 178 header->length, parent); 154 _acpi_parse_tables(acpi_t *acpi, void* table_addr, RegionList_t* regions, int parent) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 35 int sel4utils_configure_thread(vka_t *vka, vspace_t *parent, vspace_t *alloc, seL4_CPtr fault_endpoint, argument 43 return sel4utils_configure_thread_config(vka, parent, alloc, config, res); 46 int sel4utils_configure_thread_config(vka_t *vka, vspace_t *parent, vspace_t *alloc, argument
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
H A D | allocator.py | 147 parent = Untyped("parent_ut", size_bits=size_bits, paddr=ut_paddr) 148 allocator.add_untyped(parent) 154 self.assertValidSpec(allocator, spec, size_bits, size_bits, [child], [parent]) 189 allocator.add_untyped(Untyped("parent", paddr=paddr, size_bits=size_bits))
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | parentapi.c | 25 #include <serial_server/parent.h> 44 /* Get a CPtr to the parent's root cnode. */
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | enet.c | 271 uint32_t fin = clk_get_freq(clk->parent); 280 uint32_t fin = clk_get_freq(clk->parent); 322 .parent = NULL, 342 .parent = NULL,
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage3.py | 175 parent = self.mkstemp() 178 with open(parent, 'wt') as f: 183 content, read = self.cpp_parser.parse_file(parent) 185 self.assertIn(parent, read) 193 self.assertEqual(comp.filename, parent) 283 parent = self.mkstemp() 286 with open(parent, 'wt') as f: 291 content, _ = self.cpp_parser.parse_file(parent)
|
H A D | teststage1.py | 278 parent = self.mkstemp() 281 with open(parent, 'wt') as f: 286 _, content, read = self.cpp_parser.parse_file(parent) 298 self.assertIn(parent, read)
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 254 if isinstance(self.parent, Assembly): 331 if isinstance(self.parent, Assembly): 332 for i in self.parent.composition.instances: 982 return self.parent.label() 992 # self.parent is a connection 993 # self.parent.parent is a composition 994 # self.parent.parent.parent i [all...] |
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | libfdt.h | 199 * get direct subnodes of a parent node. 209 * fdt_for_each_subnode - iterate over all subnodes of a parent 213 * @parent: parent node (int) 217 * fdt_for_each_subnode(node, fdt, parent) { 227 * iterator in the loop. The parent variable be constant or even a 231 #define fdt_for_each_subnode(node, fdt, parent) \ 232 for (node = fdt_first_subnode(fdt, parent); \ 841 * @nodeoffset: offset of the node whose parent to find 874 * @nodeoffset: offset of the node whose parent t [all...] |
/seL4-camkes-master/tools/cogent/regression/ |
H A D | testspec.py | 159 # "children". A parent must be processed before its child. 166 for parent in depends_on(key): 167 children.setdefault(parent, set()).add(key) 170 # Generate heap of tests without a parent, and keep popping off
|
/seL4-camkes-master/tools/cogent/cogent/static/ |
H A D | toc.min.js | 8 !function(a){a.fn.smoothScroller=function(b){b=a.extend({},a.fn.smoothScroller.defaults,b);var c=a(this);return a(b.scrollEl).animate({scrollTop:c.offset().top-a(b.scrollEl).offset().top-b.offset},b.speed,b.ease,function(){var a=c.attr("id");a.length&&(history.pushState?history.pushState(null,null,"#"+a):document.location.hash=a),c.trigger("smoothScrollerComplete")}),this},a.fn.smoothScroller.defaults={speed:400,ease:"swing",scrollEl:"body,html",offset:0},a("body").on("click","[data-smoothscroller]",function(b){b.preventDefault();var c=a(this).attr("href");0===c.indexOf("#")&&a(c).smoothScroller()})}(jQuery),function(a){var b={};a.fn.toc=function(b){var c,d=this,e=a.extend({},jQuery.fn.toc.defaults,b),f=a(e.container),g=a(e.selectors,f),h=[],i=e.activeClass,j=function(b,c){if(e.smoothScrolling&&"function"==typeof e.smoothScrolling){b.preventDefault();var f=a(b.target).attr("href");e.smoothScrolling(f,e,c)}a("li",d).removeClass(i),a(b.target).parent().addClass(i)},k=function(){c&&clearTimeout(c),c=setTimeout(function(){for(var b,c=a(window).scrollTop(),f=Number.MAX_VALUE,g=0,j=0,k=h.length;k>j;j++){var l=Math.abs(h[j]-c);f>l&&(g=j,f=l)}a("li",d).removeClass(i),b=a("li:eq("+g+")",d).addClass(i),e.onHighlight(b)},50)};return e.highlightOnScroll&&(a(window).bind("scroll",k),k()),this.each(function(){var b=a(this),c=a(e.listType);g.each(function(d,f){var g=a(f);h.push(g.offset().top-e.highlightOffset);var i=e.anchorName(d,f,e.prefix);if(f.id!==i){a("<span/>").attr("id",i).insertBefore(g)}var l=a("<a/>").text(e.headerText(d,f,g)).attr("href","#"+i).bind("click",function(c){a(window).unbind("scroll",k),j(c,function(){a(window).bind("scroll",k)}),b.trigger("selected",a(this).attr("href"))}),m=a("<li/>").addClass(e.itemClass(d,f,g,e.prefix)).append(l);c.append(m)}),b.html(c)})},jQuery.fn.toc.defaults={container:"body",listType:"<ul/>",selectors:"h1,h2,h3",smoothScrolling:function(b,c,d){a(b).smoothScroller({offset:c.scrollToOffset}).on("smoothScrollerComplete",function(){d()})},scrollToOffset:0,prefix:"toc",activeClass:"toc-active",onHighlight:function(){},highlightOnScroll:!0,highlightOffset:100,anchorName:function(c,d,e){if(d.id.length)return d.id.replace(/\./,"-");var f=a(d).text().replace(/[^a-z0-9]/gi," ").replace(/\./,"-").replace(/\s+/g,"-").toLowerCase();if(b[f]){for(var g=2;b[f+g];)g++;f=f+"-"+g}return b[f]=!0,e+"-"+f},headerText:function(a,b,c){return c.text()},itemClass:function(a,b,c,d){return d+"-"+c[0].tagName.toLowerCase()}}}(jQuery);
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_socket.h | 65 struct pico_socket *parent; member in struct:pico_socket
|
/seL4-camkes-master/kernel/src/object/ |
H A D | cnode.c | 394 * parent. 431 /* Prevent parent untyped cap from being used again if creating a child 745 void insertNewCap(cte_t *parent, cte_t *slot, cap_t cap) argument 749 next = CTE_PTR(mdb_node_get_mdbNext(parent->cteMDBNode)); 751 slot->cteMDBNode = mdb_node_new(CTE_REF(next), true, true, CTE_REF(parent)); 755 mdb_node_ptr_set_mdbNext(&parent->cteMDBNode, CTE_REF(slot));
|
H A D | objecttype.c | 586 void createNewObjects(object_t t, cte_t *parent, slot_range_t slots, argument 608 insertNewCap(parent, &slots.cnode[slots.offset + i], cap);
|
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 86 exception_t performASIDControlInvocation(void *frame, cte_t *slot, cte_t *parent, asid_t asid_base);
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 105 perm='RWX', cached=True, label=entity.parent.label(), with_mapping_caps=None: 111 (lambda global_name, size, frame_size=None, label=entity.parent.label():
|