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