1
2
3
4
5
6
7
8
9
10
11
12
| /*
| * SPDX-License-Identifier: GPL-2.0
| *
| * Copyright (C) 2014 Philippe Gerum <rpm@xenomai.org>
| */
|
| #ifndef _COBALT_ARM64_DOVETAIL_SYSCALL32_H
| #define _COBALT_ARM64_DOVETAIL_SYSCALL32_H
|
| #include <asm-generic/xenomai/syscall32.h>
|
| #endif /* !_COBALT_ARM64_DOVETAIL_SYSCALL32_H */
|
|