Searched defs:help (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/kernel/tools/
H A Dcircular_includes.py71 help="Files to ignore when parsing the sel4 source") variable
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Delf_sift.py72 help='ELF object file to examine') variable
74 help='align to 4KiB between files') variable
H A Dplatform_sift.py246 help='YAML description of platform parameters') variable
248 help='emit C syntax instead of human-readable output') variable
251 help='desired C identifier for struct array') variable
254 help='desired C identifier for length of struct array') variable
257 help='desired C identifier for structure tag') variable
H A Dshoehorn.py127 help='assume ELF-loader will put rootservers at top of' variable
130 help='YAML description of platform parameters (e.g.,' variable
133 help='ELF-loader image file (e.g., archive.o)') variable
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py2677 help="Location of the 'cspec' directory containing 'KernelState_C'.") variable
2679 help="Path that the output theory files will be located in.") variable
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dflag.h45 boolean help; /* look in data file for info about stuff */ member in struct:flag
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dflag.h45 boolean help; /* look in data file for info about stuff */ member in struct:flag

Completed in 78 milliseconds