/* | |
* 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 |