| /* |
| * Copyright (c) 2024 Intel Corporation. |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <zephyr/sys/util.h> |
| |
| __syscall int ext_syscall_ok(int a); |
| |
| /* |
| * This is a syscall that is intentionally not implemented. The build |
| * syscall machinery will still pick it up and generate a stub for it, |
| * that should be optmised away. For extensions, the symbol will end up |
| * pointing to NULL. This is tested in the test_ext_syscall_fail test. |
| */ |
| __syscall void ext_syscall_fail(void); |
| |
| #include <syscalls/syscalls_ext.h> |