checkpatch: add OpenOCD specific config flags
[fw/openocd] / src / target / mips64.c
index 6a7c4252b176282a8eb7b4ce13ec1f00883d72a7..f9f54c25c0f6e0087ab78f5db44a67a792f06bd0 100644 (file)
@@ -1,3 +1,5 @@
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+
 /*
  * Support for processors implementing MIPS64 instruction set
  *
@@ -10,8 +12,6 @@
  *   Copyright (C) 2008 by Spencer Oliver
  *   Copyright (C) 2008 by David T.L. Wong
  *   Copyright (C) 2010 by Konstantin Kostyukhin, Nikolay Shmyrev
- *
- * SPDX-License-Identifier: GPL-2.0-or-later
  */
 
 #ifdef HAVE_CONFIG_H
@@ -283,7 +283,7 @@ static int mips64_write_core_reg(struct target *target, int num)
 
        reg_value = buf_get_u64(mips64->core_cache->reg_list[num].value, 0, 64);
        mips64->core_regs[num] = reg_value;
-       LOG_DEBUG("write core reg %i value 0x%" PRIx64 "", num , reg_value);
+       LOG_DEBUG("write core reg %i value 0x%" PRIx64 "", num, reg_value);
        mips64->core_cache->reg_list[num].valid = 1;
        mips64->core_cache->reg_list[num].dirty = 0;