| /* | |
| * Copyright (c) 2020 Intel Corporation | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef USERSPACE_TEST_SYSCALL_H | |
| #define USERSPACE_TEST_SYSCALL_H | |
| __syscall void stack_info_get(char **start_addr, size_t *size); | |
| #ifdef CONFIG_USERSPACE | |
| __syscall int check_perms(void *addr, size_t size, int write); | |
| #endif | |
| #include <syscalls/test_syscall.h> | |
| #endif |