1 /* 2 * Copyright (c) 2024 Intel Corporation. 3 * 4 * SPDX-License-Identifier: Apache-2.0 5 */ 6 7 #include <zephyr/sys/util.h> 8 9 __syscall int ext_syscall_ok(int a); 10 11 /* 12 * This is a syscall that is intentionally not implemented. The build 13 * syscall machinery will still pick it up and generate a stub for it, 14 * that should be optmised away. For extensions, the symbol will end up 15 * pointing to NULL. This is tested in the test_ext_syscall_fail test. 16 */ 17 __syscall void ext_syscall_fail(void); 18 19 #include <zephyr/syscalls/syscalls_ext.h> 20