Public headers: use SPDX identifiers
[urcu.git] / include / urcu / arch / ia64.h
CommitLineData
d3d3857f
MJ
1// SPDX-FileCopyrightText: 2010 Paul E. McKenney, IBM Corporation.
2// SPDX-FileCopyrightText: 2009-2015 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
3//
4// SPDX-License-Identifier: LGPL-2.1-or-later
5
c21a8d01
MD
6#ifndef _URCU_ARCH_IA64_H
7#define _URCU_ARCH_IA64_H
8
9/*
10 * arch/ia64.h: definitions for ia64 architecture
c21a8d01
MD
11 */
12
13#include <urcu/compiler.h>
14#include <urcu/config.h>
15#include <urcu/syscall-compat.h>
16
17#ifdef __cplusplus
18extern "C" {
19#endif
20
21#include <stdlib.h>
22#include <sys/time.h>
23
c21a8d01 24/*
84f4ccb4
MD
25 * On Linux, define the membarrier system call number if not yet available in
26 * the system headers.
c21a8d01 27 */
84f4ccb4 28#if (defined(__linux__) && !defined(__NR_membarrier))
c21a8d01
MD
29#define __NR_membarrier 1344
30#endif
31
32#ifdef __cplusplus
33}
34#endif
35
36#include <urcu/arch/generic.h>
37
38#endif /* _URCU_ARCH_IA64_H */
This page took 0.036543 seconds and 4 git commands to generate.