kcsan: Add missing license and copyright headers
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>
This commit is contained in:
parent
f6a1491403
commit
bd0ccc4afc
|
@ -1,3 +1,6 @@
|
||||||
|
.. SPDX-License-Identifier: GPL-2.0
|
||||||
|
.. Copyright (C) 2019, Google LLC.
|
||||||
|
|
||||||
The Kernel Concurrency Sanitizer (KCSAN)
|
The Kernel Concurrency Sanitizer (KCSAN)
|
||||||
========================================
|
========================================
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,10 @@
|
||||||
/* SPDX-License-Identifier: GPL-2.0 */
|
/* SPDX-License-Identifier: GPL-2.0 */
|
||||||
|
/*
|
||||||
|
* KCSAN access checks and modifiers. These can be used to explicitly check
|
||||||
|
* uninstrumented accesses, or change KCSAN checking behaviour of accesses.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#ifndef _LINUX_KCSAN_CHECKS_H
|
#ifndef _LINUX_KCSAN_CHECKS_H
|
||||||
#define _LINUX_KCSAN_CHECKS_H
|
#define _LINUX_KCSAN_CHECKS_H
|
||||||
|
|
|
@ -1,4 +1,11 @@
|
||||||
/* SPDX-License-Identifier: GPL-2.0 */
|
/* SPDX-License-Identifier: GPL-2.0 */
|
||||||
|
/*
|
||||||
|
* The Kernel Concurrency Sanitizer (KCSAN) infrastructure. Public interface and
|
||||||
|
* data structures to set up runtime. See kcsan-checks.h for explicit checks and
|
||||||
|
* modifiers. For more info please see Documentation/dev-tools/kcsan.rst.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#ifndef _LINUX_KCSAN_H
|
#ifndef _LINUX_KCSAN_H
|
||||||
#define _LINUX_KCSAN_H
|
#define _LINUX_KCSAN_H
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
/* SPDX-License-Identifier: GPL-2.0 */
|
/* SPDX-License-Identifier: GPL-2.0 */
|
||||||
|
/*
|
||||||
|
* Rules for implicitly atomic memory accesses.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#ifndef _KERNEL_KCSAN_ATOMIC_H
|
#ifndef _KERNEL_KCSAN_ATOMIC_H
|
||||||
#define _KERNEL_KCSAN_ATOMIC_H
|
#define _KERNEL_KCSAN_ATOMIC_H
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
// SPDX-License-Identifier: GPL-2.0
|
// SPDX-License-Identifier: GPL-2.0
|
||||||
|
/*
|
||||||
|
* KCSAN core runtime.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#define pr_fmt(fmt) "kcsan: " fmt
|
#define pr_fmt(fmt) "kcsan: " fmt
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
// SPDX-License-Identifier: GPL-2.0
|
// SPDX-License-Identifier: GPL-2.0
|
||||||
|
/*
|
||||||
|
* KCSAN debugfs interface.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#define pr_fmt(fmt) "kcsan: " fmt
|
#define pr_fmt(fmt) "kcsan: " fmt
|
||||||
|
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
/* SPDX-License-Identifier: GPL-2.0 */
|
/* SPDX-License-Identifier: GPL-2.0 */
|
||||||
|
/*
|
||||||
|
* KCSAN watchpoint encoding.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#ifndef _KERNEL_KCSAN_ENCODING_H
|
#ifndef _KERNEL_KCSAN_ENCODING_H
|
||||||
#define _KERNEL_KCSAN_ENCODING_H
|
#define _KERNEL_KCSAN_ENCODING_H
|
||||||
|
|
|
@ -1,8 +1,9 @@
|
||||||
/* SPDX-License-Identifier: GPL-2.0 */
|
/* SPDX-License-Identifier: GPL-2.0 */
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* The Kernel Concurrency Sanitizer (KCSAN) infrastructure. For more info please
|
* The Kernel Concurrency Sanitizer (KCSAN) infrastructure. For more info please
|
||||||
* see Documentation/dev-tools/kcsan.rst.
|
* see Documentation/dev-tools/kcsan.rst.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#ifndef _KERNEL_KCSAN_KCSAN_H
|
#ifndef _KERNEL_KCSAN_KCSAN_H
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
// SPDX-License-Identifier: GPL-2.0
|
// SPDX-License-Identifier: GPL-2.0
|
||||||
|
/*
|
||||||
|
* KCSAN reporting.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#include <linux/debug_locks.h>
|
#include <linux/debug_locks.h>
|
||||||
#include <linux/delay.h>
|
#include <linux/delay.h>
|
||||||
|
|
|
@ -1,4 +1,9 @@
|
||||||
// SPDX-License-Identifier: GPL-2.0
|
// SPDX-License-Identifier: GPL-2.0
|
||||||
|
/*
|
||||||
|
* KCSAN short boot-time selftests.
|
||||||
|
*
|
||||||
|
* Copyright (C) 2019, Google LLC.
|
||||||
|
*/
|
||||||
|
|
||||||
#define pr_fmt(fmt) "kcsan: " fmt
|
#define pr_fmt(fmt) "kcsan: " fmt
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue