Searched refs:parse_args (Results 1 - 25 of 47) sorted by relevance

12

/seL4-camkes-master/kernel/tools/
H A Dcircular_includes.py19 def main(parse_args):
27 ignore_args = parse_args.ignore
72 args = parser.parse_args()
H A Dinvocation_header_gen.py143 def parse_args(): function
158 return parser.parse_args()
198 args = parse_args()
H A Dsyscall_header_gen.py127 def parse_args(): function
139 result = parser.parse_args()
226 args = parse_args()
H A Dreciprocal.py44 args = parser.parse_args()
H A Dhardware_gen.py82 args = parser.parse_args()
/seL4-camkes-master/tools/seL4/cmake-tool/simulate_scripts/
H A Dlaunch_gdb.py13 def parse_args(): function
21 args = parser.parse_args()
25 args = parse_args()
H A Dsimulate.py14 def parse_args(): function
43 args = parser.parse_args()
55 args = parse_args()
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Model/
H A DAST_Model.py51 parse_args = args.parse_args(import_arguments)
53 camkes_parser = Parser(parse_args)
/seL4-camkes-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py143 def parse_args(): function
158 return parser.parse_args()
198 args = parse_args()
H A Dsyscall_header_gen.py127 def parse_args(): function
139 result = parser.parse_args()
226 args = parse_args()
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py143 def parse_args(): function
158 return parser.parse_args()
198 args = parse_args()
H A Dsyscall_header_gen.py127 def parse_args(): function
139 result = parser.parse_args()
226 args = parse_args()
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/
H A Drunall.py31 options = parser.parse_args(argv[1:])
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A D__main__.py42 def parse_args(argv, out, err): function
94 options = parse_args(argv, out, err)
H A Dquery.py62 def parse_args(self, argv): member in class:Query
87 argv = query.parse_args(argv)
/seL4-camkes-master/projects/camkes-tool/
H A Dalltests.py46 options = parser.parse_args(argv[1:])
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dmake_isabelle_symbols.py58 options = parser.parse_args(argv[1:])
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Delf_sift.py77 args = parser.parse_args()
/seL4-camkes-master/tools/seL4/misc/
H A Dfilter.py46 args = parser.parse_args()
H A Dstyle.py37 args = parser.parse_args()
H A Dwhence.py58 opts = parser.parse_args(argv[1:])
/seL4-camkes-master/projects/util_libs/libplatsupport/tools/
H A Ddevice_header_gen.py81 args = parser.parse_args()
/seL4-camkes-master/tools/riscv-pk/pk/
H A Dpk.c38 static size_t parse_args(arg_buf* args) function
150 size_t argc = parse_args(&args);
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py74 def parse_args(argv, out, err): function
159 options = parser.parse_args(argv[1:])
194 options = parse_args(argv, out, err)
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/
H A Dextract_results.py77 args = parser.parse_args()

Completed in 239 milliseconds

12