1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 /***************************************************************************
4 * Copyright (C) 2013 Andes Technology *
5 * Hsiangkai Wang <hkwang@andestech.com> *
6 ***************************************************************************/
8 #ifndef OPENOCD_TARGET_NDS32_TLB_H
9 #define OPENOCD_TARGET_NDS32_TLB_H
19 struct page_table_walker_info_s {
21 uint32_t l1_offset_mask;
22 uint32_t l1_offset_shift;
23 uint32_t l2_offset_mask;
24 uint32_t l2_offset_shift;
25 uint32_t va_offset_mask;
26 uint32_t l1_base_mask;
27 uint32_t l2_base_mask;
31 extern int nds32_probe_tlb(struct nds32 *nds32, const target_addr_t virtual_address,
32 target_addr_t *physical_address);
33 extern int nds32_walk_page_table(struct nds32 *nds32, const target_addr_t virtual_address,
34 target_addr_t *physical_address);
36 #endif /* OPENOCD_TARGET_NDS32_TLB_H */