f856d0cf40
Most of these checks can be performed on non-userspace supporting platforms. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
17 lines
358 B
C
17 lines
358 B
C
/*
|
|
* 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
|