/seL4-camkes-master/tools/seL4/misc/ |
H A D | style-all.sh | 16 find "$DIR" -type f | xargs "${0%/*}"/style.sh
|
/seL4-camkes-master/kernel/tools/ |
H A D | kernel_xmllint.sh | 8 xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml') 10 echo "Unable to find sel4arch.xml files" 14 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd') 16 echo "Unable to find sel4_idl.dtd"
|
H A D | kernel_pylint.sh | 8 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py') 10 echo "Unable to find python source files" 13 pylintrc=$(find . -name 'pylintrc') 15 echo "Unable to find pylintrc"
|
/seL4-camkes-master/tools/cogent/minigent/ |
H A D | run_example_tests.sh | 4 EXAMPLES=`find examples | grep 'in.minigent$' | xargs -L 1 dirname | sort`
|
H A D | update_expected_files.sh | 4 EXAMPLES=`find examples | grep 'in.minigent$' | xargs -L 1 dirname | sort`
|
/seL4-camkes-master/tools/rumprun/tests/cmake/ |
H A D | test.c | 17 #error Could not find select. Was ist los?
|
/seL4-camkes-master/tools/rumprun/tests/configure/ |
H A D | test.c | 17 #error Could not find select. Was ist los?
|
H A D | Makefile.in | 185 find "$(distdir)" -type d ! -perm -200 -exec chmod u+w {} ';' \ 193 distuninstallcheck_listfiles = find . -type f -print 196 distcleancheck_listfiles = find . -type f -print 551 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 555 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 565 || find "$(distdir)" -type d ! -perm -755 \
|
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/ |
H A D | Makefile | 151 $(Q) find . -name *.thy -exec rm -f {} \; 152 $(Q) find . -name ROOT -exec rm -f {} \; 153 $(Q) find . -name BUILD_INFO -exec rm -f {} \; 154 $(Q) find . -name *_pp* -exec rm -f {} \; 155 $(Q) find . -name $(OUTPUT).* -exec rm -f {} \; 156 $(Q)find . -name *.cmd -exec rm -f {} \;
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/ |
H A D | Makefile | 166 $(Q) find . -name *.thy -exec rm -f {} \; 167 $(Q) find . -name ROOT -exec rm -f {} \; 168 $(Q) find . -name BUILD_INFO -exec rm -f {} \; 169 $(Q) find . -name *_pp* -exec rm -f {} \; 170 $(Q) find . -name $(OUTPUT).* -exec rm -f {} \; 171 $(Q)find . -name *.cmd -exec rm -f {} \;
|
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/ |
H A D | Makefile | 167 $(Q)find . -name *.thy -exec rm -f {} \; 168 $(Q)find . -name ROOT -exec rm -f {} \; 169 $(Q)find . -name BUILD_INFO -exec rm -f {} \; 170 $(Q)find . -name *_pp* -exec rm -f {} \; 171 $(Q)find . -name generated.* -exec rm -f {} \; 172 $(Q)find . -name *.cmd -exec rm -f {} \;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/detail/ |
H A D | cpp03_define_map.hpp | 130 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0); 182 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0); 189 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2); 248 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0); 255 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2); 262 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a4); 328 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a0); 335 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a2); 342 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a4); 349 std::map<std::string, msgpack::object const*>::const_iterator it = kvmap.find(a [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/ |
H A D | Makefile | 191 $(Q)find . -name *.thy -exec rm -f {} \; 192 $(Q)find . -name ROOT -exec rm -f {} \; 193 $(Q)find . -name BUILD_INFO -exec rm -f {} \; 194 $(Q)find . -name *_pp* -exec rm -f {} \; 195 $(Q)find . -name $(OUTPUT).[ch] -exec rm -f {} \; 196 $(Q)find . -name *.cmd -exec rm -f {} \;
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/ |
H A D | Makefile | 196 $(Q)find . -name *.thy -exec rm -f {} \; 197 $(Q)find . -name ROOT -exec rm -f {} \; 198 $(Q)find . -name BUILD_INFO -exec rm -f {} \; 199 $(Q)find . -name *_pp* -exec rm -f {} \; 200 $(Q)find . -name $(OUTPUT).[ch] -exec rm -f {} \; 201 $(Q)find . -name *.cmd -exec rm -f {} \;
|
/seL4-camkes-master/projects/musllibc/src/search/ |
H A D | tsearch_avl.c | 64 static struct node *find(struct node *n, const void *k, function 75 return find(n->left, k, cmp); 77 return find(n->right, k, cmp); 170 return find(*rootp, key, compar);
|
/seL4-camkes-master/kernel/manual/tools/ |
H A D | parse_doxygen_xml.py | 133 para_nodes = parent.find('briefdescription').find_all('para') 159 param_name_node = param_item.find("parametername") 160 param_desc_node = param_item.find("parameterdescription") 163 param_desc = self.parse_para(param_desc_node.find('para'), ref_dict) 186 ret = self.parse_para(n.find('para'), ref_dict) 197 ret_type = self.get_text(parent.find("type"), escape) 198 name = self.get_text(parent.find("name"), escape) 216 name = str(member.find('name').string) 513 summary = soup.find('compounddef')
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
H A D | testsel4_notification.py | 90 if stdout.find('errors: 0') < 0: 113 if stdout.find('errors: 0') < 0:
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | Config.mk | 17 # Try to find out the architecture family TARGET_ARCH_FAM.
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | jinja_lint.py | 53 # find the next start of a block 54 bs = content.find(options.block_start, i) 68 # find the end of this block 69 be = content.find(options.block_end, bs_end) 109 # First try to find any low-level errors (mismatched {. .}). We do this 155 # Now try to find any high-level errors (mismatched valid Jinja
|
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | cogent_validate.sh | 326 find "$TESTS" -maxdepth 1 -name "shouldpass_*.cogent" -printf " %f\n" 328 find "$TESTS" -maxdepth 1 -name "shouldfail_*.cogent" -printf " %f\n" 330 find "$TESTS" -maxdepth 1 -name "wip_*.cogent" -printf " %f\n" 482 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")." 533 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")." 564 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")." 597 then echo "${bldred}Error:${txtrst} could not find Isabelle program (check \"$ISABELLE_TOOLDIR\")." 833 then echo "${bldred}Error:${txtrst} could not find goannacc." 852 flist=`find gum -name "*.cogent"`
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | Makefile.in | 187 find "$(distdir)" -type d ! -perm -200 -exec chmod u+w {} ';' \ 220 distuninstallcheck_listfiles = find . -type f -print 223 distcleancheck_listfiles = find . -type f -print 557 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 561 find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ 596 || find "$(distdir)" -type d ! -perm -755 \
|
/seL4-camkes-master/projects/projects_libs/libfdtgen/ |
H A D | fdtgen.c | 266 int find = 0; local 281 find = 1; 300 return find;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_container.cpp | 507 EXPECT_TRUE(val2.find(it->first) != val2.end()); 508 EXPECT_EQ(it->second, val2.find(it->first)->second); 587 EXPECT_TRUE(val2.find(*it) != val2.end()); 676 EXPECT_TRUE(val2.find(it->first) != val2.end()); 677 EXPECT_EQ(it->second, val2.find(it->first)->second); 757 EXPECT_TRUE(val2.find(*it) != val2.end());
|
H A D | object_with_zone.cpp | 484 EXPECT_TRUE(v2.find(it->first) != v2.end()); 485 EXPECT_EQ(it->second, v2.find(it->first)->second); 535 EXPECT_TRUE(v2.find(*it) != v2.end()); 583 EXPECT_TRUE(v2.find(it->first) != v2.end()); 584 EXPECT_EQ(it->second, v2.find(it->first)->second); 633 EXPECT_TRUE(v2.find(*it) != v2.end());
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | fdtQueryEngine.py | 242 lbrace_idx = key_str.find('[') 244 """ If we find an opening brace, assume that there is indexing 248 rbrace_idx = key_str[lbrace_idx + 1:].find(']')
|