/* * Copyright (c) 2017 Intel Corporation * * SPDX-License-Identifier: Apache-2.0 */ #ifndef _TEST_SYSCALLS_H_ #define _TEST_SYSCALLS_H_ #include __syscall void test_arm_user_interrupt_syscall(void); #include #endif /* _TEST_SYSCALLS_H_ */