Home
last modified time | relevance | path

Searched refs:name (Results 1 – 25 of 86) sorted by relevance

1234

/seL4-master/libsel4/tools/
A Dbitfield_gen.py1261 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 Dsyscall_stub_gen.py103 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 Dbitfield_gen.py1261 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 Dumm.py59 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 Dlex.py115 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 Dkernel_pylint.sh8 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py')
13 pylintrc=$(find . -name 'pylintrc')
A Dkernel_xmllint.sh8 …./libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml')
14 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
A Dhardware_gen.py43 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 Dsyscall.xsd14 <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 Dsel4test-hw.yml9 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 Dsel4test-deploy.yml7 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 Dproof.yml5 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 Dxml_lint.yml7 name: XML
21 name: XML Lint
24 - name: install xmllint
27 - name: run xmllint
29 find libsel4 -name "sel4*.xml" | \
A Dpr.yml7 name: PR
13 name: Gitlint
19 name: 'Trailing Whitespace'
25 name: 'Portable Shell'
31 name: Style
37 name: Preprocess
A Dmanual.yml6 name: RefMan
16 name: Build PDF
22 name: PDF
A Dpreprocess-deploy.yml7 name: Proof Sync
16 name: Code Freeze
28 name: Preprocess
41 name: Deploy manifest
A Dpush.yml6 name: CI
16 name: License Check
22 name: Links
A Dtrigger.yml6 name: Trigger
14 name: Repository Dispatch
A Dcparser.yml9 name: C Parser
18 name: C Parser
/seL4-master/libsel4/include/sel4/
A Dmacros.h49 #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 Dassert.h46 #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 Dparse_doxygen_xml.py139 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 Dgen_invocations.py51 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 Dexynos5410.dts421 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 Dfdt.py33 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

Completed in 50 milliseconds

1234