openocd: fix SPDX tag format for files .c
[fw/openocd] / src / rtos / chromium-ec.c
index 2f1a0cf3cc6420ad820a12e8d98700ec77f4c8d0..a95969e345a2bb17659138eec01f8a2c051afc79 100644 (file)
@@ -1,6 +1,6 @@
+// SPDX-License-Identifier: GPL-2.0-only
+
 /*
- * SPDX-License-Identifier: GPL-2.0
- *
  * Copyright (c) 2018 National Instruments Corp
  * Author: Moritz Fischer <moritz.fischer@ettus.com>
  *
@@ -11,6 +11,7 @@
 #include "config.h"
 #endif
 
+#include <helper/bits.h>
 #include <rtos/rtos.h>
 #include <target/target.h>
 #include <target/target_type.h>
@@ -20,7 +21,6 @@
 #define CROS_EC_MAX_TASKS 32
 #define CROS_EC_MAX_NAME 200
 #define CROS_EC_IDLE_STRING "<< idle >>"
-#define BIT(x) (1 << (x))
 
 struct chromium_ec_params {
        const char *target_name;