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