License cleanup: add SPDX GPL-2.0 license identifier to files with no license

[linux-block.git] / tools / testing / selftests / rcutorture / formal / srcu-cbmc / src / percpu.h

diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h
index 3de5a49de49b2bf5107848c5909e4a736a3af273..27e67a3f291f76ffc1bbde72128bec404e0f06c5 100644 (file)
--- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h
+++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/percpu.h
@@ -1,3 +1,4 @@
+/* SPDX-License-Identifier: GPL-2.0 */
 #ifndef PERCPU_H
 #define PERCPU_H