openocd: src/target: replace the GPL-2.0-or-later license tag
[fw/openocd] / src / target / armv7a_mmu.h
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2
3 /***************************************************************************
4  *   Copyright (C) 2016 by Matthias Welwarsky                              *
5  *   matthias.welwarsky@sysgo.com                                          *
6  ***************************************************************************/
7
8 #ifndef OPENOCD_TARGET_ARMV7A_MMU_H
9 #define OPENOCD_TARGET_ARMV7A_MMU_H
10
11 extern int armv7a_mmu_translate_va_pa(struct target *target, uint32_t va,
12         target_addr_t *val, int meminfo);
13
14 extern const struct command_registration armv7a_mmu_command_handlers[];
15
16 #endif /* OPENOCD_TARGET_ARMV7A_MMU_H */