1 /*
2  * Copyright (c) 2019 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 missing_syscall(void);
11 __syscall void check_syscall_context(void);
12 
13 #include <syscalls/test_syscall.h>
14 
15 #endif
16