/*
 * Copyright (c) 2017 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _TEST_SYSCALLS_H_
#define _TEST_SYSCALLS_H_
#include <zephyr.h>

__syscall int string_alloc_copy(char *src);

__syscall int string_copy(char *src);

__syscall int to_copy(char *dest);

__syscall size_t string_nlen(char *src, size_t maxlen, int *err);

__syscall int syscall_arg64(u64_t arg);

__syscall u64_t syscall_arg64_big(u32_t arg1, u32_t arg2, u64_t arg3,
				  u32_t arg4, u32_t arg5, u64_t arg6);

__syscall bool syscall_context(void);

#include <syscalls/test_syscalls.h>

#endif /* _TEST_SYSCALLS_H_ */