Searched defs:mcs (Results 1 – 5 of 5) sorted by relevance
| /seL4-master/libsel4/ |
| A D | CMakeLists.txt | 122 set(mcs --mcs) variable
|
| /seL4-master/tools/ |
| A D | syscall_header_gen.py | 166 def parse_xml(xml_file, mcs): argument
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_header_gen.py | 166 def parse_xml(xml_file, mcs): argument
|
| A D | syscall_stub_gen.py | 595 …, method_name, method_id, input_params, output_params, structs, use_only_ipc_buffer, comment, mcs): argument
956 def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_buffer, mcs): argument
|
| /seL4-master/ |
| A D | CMakeLists.txt | 320 set(mcs --mcs) variable
|
Completed in 15 milliseconds