Searched refs:generate_stub_file (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
| H A D | syscall_stub_gen.py | 945 def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_buffer, mcs): function
1096 generate_stub_file(args.arch, wordsize, args.files, args.output, args.buffer, args.mcs)
|
| /seL4-l4v-master/seL4/libsel4/tools/ |
| H A D | syscall_stub_gen.py | 945 def generate_stub_file(arch, wordsize, input_files, output_file, use_only_ipc_buffer, mcs): function
1096 generate_stub_file(args.arch, wordsize, args.files, args.output, args.buffer, args.mcs)
|
Completed in 40 milliseconds