tcl/target: add SPDX tag

[fw/openocd] / src / target / armv7a_mmu.h

diff --git a/src/target/armv7a_mmu.h b/src/target/armv7a_mmu.h
index 513e5670402367fb2652471efe0e3d3e30df092c..36cd9d19efdd4cdeb31640c540a03b9b3a3bd43f 100644 (file)
--- a/src/target/armv7a_mmu.h
+++ b/src/target/armv7a_mmu.h
@@ -20,7 +20,7 @@
 #define OPENOCD_TARGET_ARMV7A_MMU_H
 
 extern int armv7a_mmu_translate_va_pa(struct target *target, uint32_t va,
-       uint32_t *val, int meminfo);
+       target_addr_t *val, int meminfo);
 
 extern const struct command_registration armv7a_mmu_command_handlers[];