Searched refs:main (Results 1 - 5 of 5) sorted by relevance

/seL4-mcs-10.1.1/tools/
H A Dcircular_includes.py23 def main(parse_args): function
77 sys.exit(main(args))
/seL4-mcs-10.1.1/manual/tools/
H A Dgen_invocations.py121 def main(): function
141 sys.exit(main())
H A Dparse_doxygen_xml.py558 def main(): function
576 sys.exit(main())
/seL4-mcs-10.1.1/libsel4/tools/
H A Dsyscall_stub_gen.py1018 def main(): function
1051 sys.exit(main())
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py1018 def main(): function
1051 sys.exit(main())

Completed in 90 milliseconds