Searched refs:argparse (Results 1 - 12 of 12) sorted by relevance
| /seL4-mcs-10.1.1/tools/ |
| H A D | circular_includes.py | 21 import argparse namespace
72 parser = argparse.ArgumentParser()
|
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| H A D | reciprocal.py | 23 import argparse namespace
42 parser = argparse.ArgumentParser(description="Generate magic numbers for emulating 64-bit division with multiplication by reciprocal using algorithm from Hacker's Delight, chapter 10.")
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| H A D | syscall_stub_gen.py | 49 from argparse import ArgumentParser
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 18 import argparse namespace
163 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
165 parser.add_argument('--xml', type=argparse.FileType('r'),
167 parser.add_argument('--dest', type=argparse.FileType('w'),
|
| H A D | syscall_header_gen.py | 18 import argparse namespace
143 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
145 parser.add_argument('--xml', type=argparse.FileType('r'),
147 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
149 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
|
| H A D | syscall_stub_gen.py | 49 from argparse import ArgumentParser
|
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 21 import argparse namespace
106 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
|
| H A D | parse_doxygen_xml.py | 18 import argparse namespace
543 parser = argparse.ArgumentParser()
|
Completed in 51 milliseconds