Use DMB only on ARMv7
[urcu.git] / include / urcu / debug.h
CommitLineData
a77f7d82
MD
1#ifndef _URCU_DEBUG_H
2#define _URCU_DEBUG_H
3
4/*
5 * urcu/debug.h
6 *
7 * Userspace RCU debugging facilities.
8 *
9 * Copyright (c) 2015 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
10 *
11 * Permission is hereby granted, free of charge, to any person obtaining a copy
12 * of this software and associated documentation files (the "Software"), to deal
13 * in the Software without restriction, including without limitation the rights
14 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
15 * copies of the Software, and to permit persons to whom the Software is
16 * furnished to do so, subject to the following conditions:
17 *
18 * The above copyright notice and this permission notice shall be included in
19 * all copies or substantial portions of the Software.
20 */
21
22#include <assert.h>
23
375db287
MJ
24#include <urcu/config.h>
25
d4e640c0 26#if defined(DEBUG_RCU) || defined(CONFIG_RCU_DEBUG)
a77f7d82
MD
27#define urcu_assert(...) assert(__VA_ARGS__)
28#else
29#define urcu_assert(...)
30#endif
31
32#endif /* _URCU_DEBUG_H */
This page took 0.030835 seconds and 4 git commands to generate.