/seL4-refos-master/ |
H A D | cidl_compile | 192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable 193 parser.add_argument('-r', '--header', action='store_true',\ 195 parser.add_argument('-c', '--client', action='store_true',\ 197 parser.add_argument('-s', '--server', action='store_true',\ 199 parser.add_argument('-d', '--dispatcher', action='store_true',\ 201 parser.add_argument('-n', '--no_preprocess', action='store_false',\ 203 parser.add_argument('-g', '--debug', action='store_true',\ 205 parser.add_argument('-v', '--version', action='version',\ 207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \ 209 args = parser [all...] |
/seL4-refos-master/projects/refos/impl/ |
H A D | cidl_compile | 192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable 193 parser.add_argument('-r', '--header', action='store_true',\ 195 parser.add_argument('-c', '--client', action='store_true',\ 197 parser.add_argument('-s', '--server', action='store_true',\ 199 parser.add_argument('-d', '--dispatcher', action='store_true',\ 201 parser.add_argument('-n', '--no_preprocess', action='store_false',\ 203 parser.add_argument('-g', '--debug', action='store_true',\ 205 parser.add_argument('-v', '--version', action='version',\ 207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \ 209 args = parser [all...] |
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 35 # The C parser emits variables with a suffix to indicate their types; this lets 36 # the C parser distinguish `char x` from `int x`. 38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in 2661 parser = optparse.OptionParser() variable 2662 parser.add_option('--c_defs', action='store_true', default=False) 2663 parser.add_option('--environment', action='store', default='sel4', 2665 parser.add_option('--hol_defs', action='store_true', default=False) 2666 parser.add_option('--hol_proofs', action='store_true', default=False) 2667 parser.add_option('--sorry_lemmas', action='store_true', 2669 parser [all...] |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants 130 parser.add_argument('--xml', type=argparse.FileType('r'), 132 parser.add_argument('--kernel_header', type=argparse.FileType('w'), 134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'), 136 parser.add_argument('--mcs', action='store_true', 139 result = parser.parse_args() 144 parser.print_help()
|
H A D | syscall_stub_gen.py | 1043 parser = ArgumentParser(description='seL4 System Call Stub Generator.', 1046 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout", 1048 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False, 1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH, 1052 parser.add_argument("--mcs", dest="mcs", action="store_true", 1055 wsizegroup = parser.add_mutually_exclusive_group() 1061 parser.add_argument("files", metavar="FILES", nargs="+", 1064 return parser 1069 parser = process_args() 1070 args = parser [all...] |
/seL4-refos-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 105 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header ' 109 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout", 112 parser.add_argument("files", metavar="FILES", nargs="+", type=str, 115 parser.add_argument("-d", "--dtd", nargs="?", type=str, 118 return parser 122 parser = process_args() 123 args = parser.parse_args()
|
H A D | parse_doxygen_xml.py | 540 parser = argparse.ArgumentParser() 542 parser.add_argument("-f", "--format", choices=["latex", "markdown"], 545 parser.add_argument("-i", "--input", dest="input", type=str, 547 parser.add_argument("-o", "--output", dest="output", type=str, 550 parser.add_argument("-l", "--level", type=int, 553 return parser
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 35 # The C parser emits variables with a suffix to indicate their types; this lets 36 # the C parser distinguish `char x` from `int x`. 38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in 2661 parser = optparse.OptionParser() variable 2662 parser.add_option('--c_defs', action='store_true', default=False) 2663 parser.add_option('--environment', action='store', default='sel4', 2665 parser.add_option('--hol_defs', action='store_true', default=False) 2666 parser.add_option('--hol_proofs', action='store_true', default=False) 2667 parser.add_option('--sorry_lemmas', action='store_true', 2669 parser [all...] |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants 130 parser.add_argument('--xml', type=argparse.FileType('r'), 132 parser.add_argument('--kernel_header', type=argparse.FileType('w'), 134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'), 136 parser.add_argument('--mcs', action='store_true', 139 result = parser.parse_args() 144 parser.print_help()
|
H A D | syscall_stub_gen.py | 1043 parser = ArgumentParser(description='seL4 System Call Stub Generator.', 1046 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout", 1048 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False, 1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH, 1052 parser.add_argument("--mcs", dest="mcs", action="store_true", 1055 wsizegroup = parser.add_mutually_exclusive_group() 1061 parser.add_argument("files", metavar="FILES", nargs="+", 1064 return parser 1069 parser = process_args() 1070 args = parser [all...] |
/seL4-refos-master/kernel/tools/ |
H A D | bitfield_gen.py | 35 # The C parser emits variables with a suffix to indicate their types; this lets 36 # the C parser distinguish `char x` from `int x`. 38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in 2661 parser = optparse.OptionParser() variable 2662 parser.add_option('--c_defs', action='store_true', default=False) 2663 parser.add_option('--environment', action='store', default='sel4', 2665 parser.add_option('--hol_defs', action='store_true', default=False) 2666 parser.add_option('--hol_proofs', action='store_true', default=False) 2667 parser.add_option('--sorry_lemmas', action='store_true', 2669 parser [all...] |
H A D | circular_includes.py | 69 parser = argparse.ArgumentParser() variable 70 parser.add_argument('--ignore', nargs='+', 72 args = parser.parse_args()
|
H A D | hardware_gen.py | 36 def add_task_args(outputs: dict, parser: argparse.ArgumentParser): 41 group = parser.add_argument_group('{} pass'.format(name)) 63 parser = argparse.ArgumentParser( variable 67 parser.add_argument('--dtb', help='device tree blob to parse for generation', 69 parser.add_argument('--hardware-config', help='YAML file containing configuration for kernel devices', 71 parser.add_argument('--hardware-schema', help='YAML file containing schema for hardware config', 73 parser.add_argument('--arch', help='architecture to generate for', default='arm') 74 parser.add_argument('--addrspace-max', 77 parser.add_argument('--enable-profiling', help='enable profiling', 80 add_task_args(OUTPUTS, parser) [all...] |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
H A D | reciprocal.py | 40 parser = argparse.ArgumentParser( 42 parser.add_argument("--divisor", type=int, required=True, 44 args = parser.parse_args()
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants 130 parser.add_argument('--xml', type=argparse.FileType('r'), 132 parser.add_argument('--kernel_header', type=argparse.FileType('w'), 134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'), 136 parser.add_argument('--mcs', action='store_true', 139 result = parser.parse_args() 144 parser.print_help()
|
/seL4-refos-master/kernel/tools/hardware/outputs/ |
H A D | c_header.py | 185 def add_args(parser): 186 parser.add_argument('--header-out', help='output file for c header',
|
H A D | compat_strings.py | 28 def add_args(parser): 29 parser.add_argument('--compat-strings-out',
|
H A D | elfloader.py | 176 def add_args(parser): 177 parser.add_argument('--elfloader-out', help='output file for elfloader header',
|
H A D | yaml.py | 46 def add_args(parser): 47 parser.add_argument('--yaml-out', help='output file for memory yaml',
|
/seL4-refos-master/libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 68 parser = argparse.ArgumentParser( variable 73 parser.add_argument('--device-list', help='sub-device list to parse for generation', 75 parser.add_argument('--device-type', help='device type of the input type', required=True) 78 parser.add_argument('--header-out', help='output location of the resultant C header', 81 args = parser.parse_args()
|
/seL4-refos-master/libs/libsel4/tools/ |
H A D | bitfield_gen.py | 35 # The C parser emits variables with a suffix to indicate their types; this lets 36 # the C parser distinguish `char x` from `int x`. 38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in 2661 parser = optparse.OptionParser() variable 2662 parser.add_option('--c_defs', action='store_true', default=False) 2663 parser.add_option('--environment', action='store', default='sel4', 2665 parser.add_option('--hol_defs', action='store_true', default=False) 2666 parser.add_option('--hol_proofs', action='store_true', default=False) 2667 parser.add_option('--sorry_lemmas', action='store_true', 2669 parser [all...] |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|