Searched refs:choices (Results 1 - 8 of 8) sorted by relevance

/seL4-test-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py542 parser.add_argument("-f", "--format", choices=["latex", "markdown"],
/seL4-test-master/projects/musllibc/
H A Dconfigure45 Use these variables to override the choices made by configure.
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
H A Dbitfield_gen.py2664 choices=list(INCLUDES.keys())) variable
/seL4-test-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
H A Dbitfield_gen.py2664 choices=list(INCLUDES.keys())) variable
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py2664 choices=list(INCLUDES.keys())) variable
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1354 Use these variables to override the choices made by `configure' or to help

Completed in 122 milliseconds