| // Copyright 2019 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| library zx; |
| |
| @transport("Syscall") |
| closed protocol Syscall { |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_0(void); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_0() -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_1(int32_t a); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| @test_category1 |
| strict Test_1(struct { |
| a int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_2(int32_t a, int32_t b); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| @test_category1 |
| strict Test_2(struct { |
| a int32; |
| b int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_3(int32_t a, int32_t b, int32_t c); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| @test_category2 |
| strict Test_3(struct { |
| a int32; |
| b int32; |
| c int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_4(int32_t a, int32_t b, int32_t c, int32_t d); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_4(struct { |
| a int32; |
| b int32; |
| c int32; |
| d int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_5( |
| /// int32_t a, int32_t b, int32_t c, int32_t d, int32_t e); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_5(struct { |
| a int32; |
| b int32; |
| c int32; |
| d int32; |
| e int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_6( |
| /// int32_t a, int32_t b, int32_t c, int32_t d, int32_t e, int32_t f); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_6(struct { |
| a int32; |
| b int32; |
| c int32; |
| d int32; |
| e int32; |
| f int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_7(int32_t a, |
| /// int32_t b, |
| /// int32_t c, |
| /// int32_t d, |
| /// int32_t e, |
| /// int32_t f, |
| /// int32_t g); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_7(struct { |
| a int32; |
| b int32; |
| c int32; |
| d int32; |
| e int32; |
| f int32; |
| g int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_8(int32_t a, |
| /// int32_t b, |
| /// int32_t c, |
| /// int32_t d, |
| /// int32_t e, |
| /// int32_t f, |
| /// int32_t g, |
| /// int32_t h); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict Test_8(struct { |
| a int32; |
| b int32; |
| c int32; |
| d int32; |
| e int32; |
| f int32; |
| g int32; |
| h int32; |
| }) -> () error Status; |
| |
| @no_doc |
| @next |
| strict Next_1(struct { |
| arg int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_wrapper(int32_t a, int32_t b, int32_t c); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict TestWrapper(struct { |
| a int32; |
| b int32; |
| c int32; |
| }) -> () error Status; |
| |
| /// ## Summary |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Declaration |
| /// |
| /// ```c |
| /// #include <zircon/syscalls.h> |
| /// |
| /// zx_status_t zx_syscall_test_handle_create(zx_status_t return_value, |
| /// zx_handle_t* out); |
| /// ``` |
| /// |
| /// ## Description |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Rights |
| /// |
| /// TODO(https://fxbug.dev/42107318) |
| /// |
| /// ## Return value |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## Errors |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| /// |
| /// ## See also |
| /// |
| /// TODO(https://fxbug.dev/42108078) |
| @testonly |
| strict TestHandleCreate(struct { |
| return_value Status; |
| }) -> (resource struct { |
| out Handle:EVENT; |
| }) error Status; |
| |
| @testonly |
| strict TestWideningUnsignedNarrow(struct { |
| a uint64; |
| b uint32; |
| c uint16; |
| d uint8; |
| }) -> (@wrapped_return struct { |
| total uint64; |
| }); |
| |
| @testonly |
| strict TestWideningSignedNarrow(struct { |
| a int64; |
| b int32; |
| c int16; |
| d int8; |
| }) -> (@wrapped_return struct { |
| total int64; |
| }); |
| |
| @testonly |
| strict TestWideningUnsignedWide(struct { |
| a uint64; |
| b uint32; |
| c uint16; |
| d uint8; |
| }) -> (@wrapped_return struct { |
| total uint64; |
| }); |
| |
| @testonly |
| strict TestWideningSignedWide(struct { |
| a int64; |
| b int32; |
| c int16; |
| d int8; |
| }) -> (@wrapped_return struct { |
| total int64; |
| }); |
| }; |