/seL4-master/libsel4/tools/ |
A D | bitfield_gen.py | 1261 self.name = name 1281 self.tags = [(name, value, symtab[name]) for name, value in self.tags] 1434 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name, 1683 (gen_name(name), field, sign_extend, self.name, self.name, 1765 (self.name, self.name), file=output) 2021 % (name, self.name, 2033 % (name, self.name, 2043 % (name, self.name, 2190 self.name = name 2224 % (name, self.name)) [all …]
|
A D | syscall_stub_gen.py | 103 self.name = name 123 def render_parameter_name(self, name): argument 128 return "%s %s" % (self.name, name) 165 def render_parameter_name(self, name): argument 166 return "%s *%s" % (self.name, name) 181 def __init__(self, name, wordsize): argument 190 def __init__(self, name, size_bits, wordsize): argument 215 def __init__(self, name, type): argument 216 self.name = name 222 self.name = node.getAttribute("name") [all …]
|
/seL4-master/tools/ |
A D | bitfield_gen.py | 1261 self.name = name 1281 self.tags = [(name, value, symtab[name]) for name, value in self.tags] 1434 emit_named_ptr_proof("%s_%s_ptr_new" % (self.name, ref.name), params, self.name, 1683 (gen_name(name), field, sign_extend, self.name, self.name, 1765 (self.name, self.name), file=output) 2021 % (name, self.name, 2033 % (name, self.name, 2043 % (name, self.name, 2190 self.name = name 2224 % (name, self.name)) [all …]
|
A D | umm.py | 59 name = s[0] 60 return (name, map(hdl_fld, s[1:])) 83 name, tp = fld 85 return [([start + '.' + name], tp)] 89 map(lambda x: (x[0].insert(0, name)), res)
|
A D | lex.py | 115 def __getattribute__(self, name): argument 482 for f, name in zip(funclist, namelist): 484 result.append((name, f[1])) 673 name, statetype = s 683 if name in self.stateinfo: 813 for name, r in self.strsym[state]: 814 tokname = self.toknames[name] 898 name = m.group(1) 899 prev = counthash.get(name) 901 counthash[name] = linen [all …]
|
A D | kernel_pylint.sh | 8 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py') 13 pylintrc=$(find . -name 'pylintrc')
|
A D | kernel_xmllint.sh | 8 …./libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml') 14 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
|
A D | hardware_gen.py | 43 name = t.replace('_', '-') 44 group = parser.add_argument_group('{} pass'.format(name)) 45 group.add_argument('--' + name, help=task.__doc__.strip(), action='store_true')
|
/seL4-master/libsel4/include/api/ |
A D | syscall.xsd | 14 <xsd:element name="syscalls" type="SyscallListType" /> 16 <xsd:complexType name="SyscallListType"> 18 <xsd:element name="api-master" type="ApiType" /> 19 <xsd:element name="api-mcs" type="ApiType" /> 20 <xsd:element name="debug" type="DebugType" /> 24 <xsd:complexType name="ApiType"> 30 <xsd:complexType name="DebugType"> 36 <xsd:complexType name="ConfigType" > 40 <xsd:attribute name="condition" type="xsd:string" /> 43 <xsd:complexType name="SyscallType"> [all …]
|
/seL4-master/.github/workflows/ |
A D | sel4test-hw.yml | 9 name: seL4Test HW 22 name: HW Build 31 (github.event.label.name == 'hw-build' || 32 github.event.label.name == 'hw-test') }} 42 - name: Build 48 - name: Upload images 55 name: Matrix 65 name: HW Run 80 - name: Get machine queue 86 - name: Download image [all …]
|
A D | sel4test-deploy.yml | 7 name: seL4Test 24 name: Freeze Code 36 name: Simulation 56 name: HW Build 67 - name: Build 73 - name: Upload images 80 name: Matrix 90 name: HW Run 109 - name: Run 120 name: Deploy manifest [all …]
|
A D | proof.yml | 5 name: Proofs 13 name: C Proofs 19 contains(github.event.pull_request.labels.*.name, 'proof-test') || 20 github.event.action == 'labeled' && github.event.label.name == 'proof-test') }} 34 - name: Proofs 46 - name: Upload logs 49 name: logs-${{ matrix.arch }}
|
A D | xml_lint.yml | 7 name: XML 21 name: XML Lint 24 - name: install xmllint 27 - name: run xmllint 29 find libsel4 -name "sel4*.xml" | \
|
A D | pr.yml | 7 name: PR 13 name: Gitlint 19 name: 'Trailing Whitespace' 25 name: 'Portable Shell' 31 name: Style 37 name: Preprocess
|
A D | manual.yml | 6 name: RefMan 16 name: Build PDF 22 name: PDF
|
A D | preprocess-deploy.yml | 7 name: Proof Sync 16 name: Code Freeze 28 name: Preprocess 41 name: Deploy manifest
|
A D | push.yml | 6 name: CI 16 name: License Check 22 name: Links
|
A D | trigger.yml | 6 name: Trigger 14 name: Repository Dispatch
|
A D | cparser.yml | 9 name: C Parser 18 name: C Parser
|
/seL4-master/libsel4/include/sel4/ |
A D | macros.h | 49 #define SEL4_COMPILE_ASSERT(name, expr) _Static_assert(expr, #name); argument 51 #define SEL4_COMPILE_ASSERT(name, expr) \ argument 52 typedef int __assert_failed_##name[(expr) ? 1 : -1] LIBSEL4_UNUSED;
|
/seL4-master/include/ |
A D | assert.h | 46 #define compile_assert(name, expr) \ argument 47 typedef int __assert_failed_##name[(expr) ? 1 : -1] UNUSED; 52 #define unverified_compile_assert(name, expr) argument
|
/seL4-master/manual/tools/ |
A D | parse_doxygen_xml.py | 139 if para_node.name is None: 141 elif para_node.name in parse_table: 142 return parse_table[para_node.name](para_node, ref_dict) 238 name = self.get_text(parent.find("name"), escape) 240 output = "%s %s" % (ret_type, name) 256 name = str(member.find('name').string) 261 "name": self.text_escape(name), 262 "original_name": name, 269 ret[name] = data 407 def level_to_heading(self, level, name): argument [all …]
|
A D | gen_invocations.py | 51 name = "%s_%s" % (interface_name, method_name) 53 return "%s\n%s %s %s(%s);" % (comment, prefix, return_type, name, param_list) 93 output_file.write("/**\n * @defgroup %s %s\n * @{\n */\n\n" % (api.name, api.name))
|
/seL4-master/tools/dts/ |
A D | exynos5410.dts | 421 regulator-name = "buck7"; 438 regulator-name = "buck9"; 512 regulator-name = "ldo9"; 562 regulator-name = "ldo16"; 572 regulator-name = "ldo18"; 578 regulator-name = "ldo19"; 596 regulator-name = "ldo22"; 627 regulator-name = "ldo27"; 631 regulator-name = "ldo28"; 635 regulator-name = "ldo29"; [all …]
|
/seL4-master/tools/hardware/ |
A D | fdt.py | 33 for (name, node) in root.walk(): 36 parent_path = name.rsplit('/', 1)[0] 41 wrapped = WrappedNode(node, parent, name) 42 self.by_path[name] = wrapped
|