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

#ifndef APP_SYSCALL_H
#define APP_SYSCALL_H

__syscall int magic_syscall(unsigned int *cookie);

#include <syscalls/app_syscall.h>

#endif /* MAGIC_SYSCALL_H */