bd0ccc4afc
Adds missing license and/or copyright headers for KCSAN source files. Signed-off-by: Marco Elver <elver@google.com> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
24 lines
575 B
C
24 lines
575 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/*
|
|
* Rules for implicitly atomic memory accesses.
|
|
*
|
|
* Copyright (C) 2019, Google LLC.
|
|
*/
|
|
|
|
#ifndef _KERNEL_KCSAN_ATOMIC_H
|
|
#define _KERNEL_KCSAN_ATOMIC_H
|
|
|
|
#include <linux/types.h>
|
|
|
|
/*
|
|
* Special rules for certain memory where concurrent conflicting accesses are
|
|
* common, however, the current convention is to not mark them; returns true if
|
|
* access to @ptr should be considered atomic. Called from slow-path.
|
|
*/
|
|
static bool kcsan_is_atomic_special(const volatile void *ptr)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
#endif /* _KERNEL_KCSAN_ATOMIC_H */
|