+/* SPDX-License-Identifier: GPL-2.0 */
/*
* Apex kernel-userspace interface definition(s).
*
+// SPDX-License-Identifier: GPL-2.0
/* Driver for the Apex chip.
*
* Copyright (C) 2018 Google, Inc.
+/* SPDX-License-Identifier: GPL-2.0 */
/* Common Gasket device kernel and user space declarations.
*
* Copyright (C) 2018 Google, Inc.
+/* SPDX-License-Identifier: GPL-2.0 */
/* Copyright (C) 2018 Google, Inc.
*
* This software is licensed under the terms of the GNU General Public
+// SPDX-License-Identifier: GPL-2.0
/* Gasket generic driver framework. This file contains the implementation
* for the Gasket generic driver framework - the functionality that is common
* across Gasket devices.
+/* SPDX-License-Identifier: GPL-2.0 */
/* Gasket generic driver. Defines the set of data types and functions necessary
* to define a driver using the Gasket generic driver framework.
*
+// SPDX-License-Identifier: GPL-2.0
/* Copyright (C) 2018 Google, Inc.
*
* This software is licensed under the terms of the GNU General Public
+/* SPDX-License-Identifier: GPL-2.0 */
/*
* Gasket common interrupt module. Defines functions for enabling
* eventfd-triggered interrupts between a Gasket device and a host process.
+// SPDX-License-Identifier: GPL-2.0
/* Copyright (C) 2018 Google, Inc.
*
* This software is licensed under the terms of the GNU General Public
+/* SPDX-License-Identifier: GPL-2.0 */
/* Copyright (C) 2018 Google, Inc.
*
* This software is licensed under the terms of the GNU General Public
+/* SPDX-License-Identifier: GPL-2.0 */
/* Common logging utilities for the Gasket driver framework.
*
* Copyright (C) 2018 Google, Inc.
+// SPDX-License-Identifier: GPL-2.0
/* Implementation of Gasket page table support.
*
* Copyright (C) 2018 Google, Inc.
+/* SPDX-License-Identifier: GPL-2.0 */
/* Gasket Page Table functionality. This file describes the address
* translation/paging functionality supported by the Gasket driver framework.
* As much as possible, internal details are hidden to simplify use -
+// SPDX-License-Identifier: GPL-2.0
/* Copyright (C) 2018 Google, Inc.
*
* This software is licensed under the terms of the GNU General Public
+/* SPDX-License-Identifier: GPL-2.0 */
/* Set of common sysfs utilities.
*
* Copyright (C) 2018 Google, Inc.