Searched refs:add_args (Results 1 - 5 of 5) sorted by path

/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dc_header.py185 def add_args(parser): function
H A Dcompat_strings.py28 def add_args(parser): function
H A Delfloader.py176 def add_args(parser): function
H A Dyaml.py46 def add_args(parser): function
/seL4-refos-master/kernel/tools/
H A Dhardware_gen.py43 task.add_args(group)

Completed in 39 milliseconds