Searched refs:outputs (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/.github/workflows/ |
| A D | sel4test-deploy.yml | 26 outputs:
27 xml: ${{ steps.repo.outputs.xml }}
51 xml: ${{ needs.code.outputs.xml }}
70 xml: ${{ needs.code.outputs.xml }}
83 outputs:
84 matrix: ${{ steps.matrix.outputs.matrix }}
95 matrix: ${{ fromJson(needs.the_matrix.outputs.matrix) }}
128 xml: ${{ needs.code.outputs.xml }}
|
| A D | preprocess-deploy.yml | 18 outputs:
19 xml: ${{ steps.repo.outputs.xml }}
48 xml: ${{ needs.code.outputs.xml }}
|
| A D | sel4test-hw.yml | 58 outputs:
59 matrix: ${{ steps.matrix.outputs.matrix }}
78 matrix: ${{ fromJson(needs.the_matrix.outputs.matrix) }}
|
| /seL4-master/manual/tools/ |
| A D | gen_invocations.py | 39 def generate_prototype(interface_name, method_name, method_id, inputs, outputs, comment): argument
45 if syscall_stub_gen.generate_result_struct(interface_name, method_name, outputs):
50 param_list = syscall_stub_gen.generate_param_list(inputs, outputs)
84 for (interface_name, method_name, method_id, inputs, outputs, _, comment) in methods:
87 method_name, method_id, inputs, outputs, comment)
|
| /seL4-master/tools/ |
| A D | hardware_gen.py | 16 from hardware.outputs import c_header, compat_strings, yaml as yaml_out, elfloader
39 def add_task_args(outputs: dict, parser: argparse.ArgumentParser):
41 for t in sorted(outputs.keys()):
42 task = outputs[t]
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 1030 for (interface_name, method_name, method_id, inputs, outputs, condition, comment) in methods:
1034 … method_id, inputs, outputs, structs, use_only_ipc_buffer, comment, mcs))
|
| /seL4-master/ |
| A D | CMakeLists.txt | 587 # compilation outputs to an install location: CMAKE_INSTALL_PREFIX.
590 # The current installation outputs are:
|
| /seL4-master/tools/dts/ |
| A D | exynos5410.dts | 200 samsung,pwm-outputs = < 0x00 0x01 0x02 0x03 >;
|
| A D | exynos5250.dts | 500 samsung,pwm-outputs = < 0x00 0x01 0x02 0x03 >;
|
| A D | exynos5422.dts | 197 samsung,pwm-outputs = < 0x00 0x02 >;
|
Completed in 16 milliseconds