1 /*
2  * Copyright (c) 2020 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef USERSPACE_TEST_SYSCALL_H
8 #define USERSPACE_TEST_SYSCALL_H
9 
10 __syscall void stack_info_get(char **start_addr, size_t *size);
11 #ifdef CONFIG_USERSPACE
12 __syscall int check_perms(void *addr, size_t size, int write);
13 #endif
14 #include <syscalls/test_syscall.h>
15 
16 #endif
17